object(1,[cyclic(g1)=.false, can_reach(a,b)=.true, can_reach(b,c)=.true, can_reach(a,c)=.true, can_reach(b,a)=.false, can_reach(c,a)=.false, can_reach(c,b)=.false], [linked_to(a,b)=.true, linked_to(b,c)=.true, linked_to(b,a)=.false, linked_to(c,b)=.false, linked_to(a,c)=.false, linkedto(c,a)=.false, node_of(g1,a)=.true, node_of(g1,b)=.true, node_of(g1,c)=.true]). |
|
object(2,[cyclic(g2)=.false, can_reach(c,d)=.true, can_reach(c,e)=.true, can_reach(c,f)=.true, can_reach(d,e)=.true, can_reach(d,f)=.true, can_reach(e,f)=.true, can_reach(d,c)=.false, can_reach(e,c)=.false, can_reach(f,c)=.false, can_reach(f,e)=.false, can_reach(f,d)=.false, can_reach(e,d)=false, can_reach(d,c)=.false], [linked_to(c,d)=.true, linked_to(d,f)=.true, linked_to(d,e)=.true, linked_to(e,f)=.true, linked_to(d,c)=.false, linked_to(f,d)=.false, linked_to(e,d)=.false, linked_to(f,e)=.false, linked_to(f,c)=.false, linked_to(e,c)=.false, node_of(g2,c)=.true, node_of(g2,d)=.true, node_of(g2,e)=.true, node_of(g2,f)=.true]).
|
|
object(3,[cyclic(g3)=true, can_reach(g,h)=.true, can_reach(h,g)=.true, can_reach(g,g)=.true, can_reach(h,h)=.true], [linked_to(g,h)=.true, linked_to(h,g)=.true, node_of(g3,g)=.true, node_of(g3,h)=.true]).
|
|
object(4,[cyclic(g4)=.true,
|
|
object(5,[cyclic(g5)=.true,
|