24
Examples in TrCl
•
Is the graph connected:
•
•
Is there a path from u to v where all edges are
labeled with the same color:
here c is a free variable in
trcl
•
•
Do we need free variables ?
8
u.
8
v.[
trcl
x,y
(R(x,y))](u,v)
9
c. .[
trcl
x,y
(R(x,c,y))](u,v)