This is an old revision of the document!

From simple to advanced XL queries

module A;
module B;
module C;
module D;
 
protected void init ()
[
	Axiom ==> A [A B [b1:B] c:C b2:B ] D C [B A A] B A,c />d:D,b1 /> b2, b2 /> d;
]

Path queries

0. Get all nodes

answer

(*Node*)

1. Get all the A nodes

answer

((*A*))

2. Get all B's that are linked by a successor

answer

In a Context:

((*Node > B*))

Selected Nodes:

Model.B[id=30]@7cf94
Model.B[id=33]@17f494c4
Model.B[id=39]@745fbb60

3. Get all B's that are linked by a branch (196)

answer

In a Context: ((*Node +> B*))

4. Get all As followed directly by another A

answer

In a Context: ((*A -->A*))

5. Get As followed directly by another A, both are connected by a branch

answer

In a Context: ((*A +>A*))

6. Get all A's that are below a C

answer

In a Context: (*C (-->)* A*))

7. Get all B's that are below another B

answer

In a Context: (*B (-->)+ B*))

8. Get all D which are below a C, where the C is below a B

answer

In a Context: (*B --> C --> D*))

9. Get All Nodes, which are connected upwards as following: Branch, Successor Branch

answer

In a Context: ((*Node +> > +> Node*))

10. Get The B that is a decomposition child of another B, the successor of an C and has a D as a decomposition child.

answer

In a Context: ((*B /> b:B, C > b,D</b*))

11. Get all A's that have no Children

answer

In a Context: ((*a:A,(empty((*a --> Node*)))*))