User Tools

Site Tools


15_cheatsheet:operators

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
15_cheatsheet:operators [2026/01/05 15:09] – [Selection Operators] barley196515_cheatsheet:operators [2026/04/21 14:28] (current) – [Selection Operators] Tim
Line 16: Line 16:
 | forall((*//query//*)[//value//]//condition//) | checks if a condition is true for the all results of the query |forall((*f:F*)[length]==1) |   | forall((*//query//*)[//value//]//condition//) | checks if a condition is true for the all results of the query |forall((*f:F*)[length]==1) |  
 | exist((*//query//*)[//value//]//condition//) | checks if a condition is true for at least one result of the query |exist((*f:F*)[length]==1) | | exist((*//query//*)[//value//]//condition//) | checks if a condition is true for at least one result of the query |exist((*f:F*)[length]==1) |
 +|statistics((*//query//*)[//value//] |return an instance of the class [[https://javadoc.grogra.de/rgg/de/grogra/rgg/Statistics.html| Statistics]] |statistics((*F*)[length]) |
  
  
Line 29: Line 30:
 |selectWhereMax((*//query//*),//parameter//)| Select a node of the query where the parameter is the largest | selectWhereMax((*f:F*),f[length]) | |selectWhereMax((*//query//*),//parameter//)| Select a node of the query where the parameter is the largest | selectWhereMax((*f:F*),f[length]) |
 |selectRandomly((*//query//*) )| select a Random node from the query | selectRandomly((*F*) ) | |selectRandomly((*//query//*) )| select a Random node from the query | selectRandomly((*F*) ) |
-|selectRandomly((*//query//*),prob)| ??? ???  |+|selectRandomly((*//query//*),prob)| select a Random node from the query using a given numeric value as weight selectRandomly((*f:F*),f[length])  more likely to pick longer Fs |
  
  
15_cheatsheet/operators.1767622175.txt.gz · Last modified: 2026/01/05 15:09 by barley1965