Permalink
Browse files

created new mereograph hierarchy

  • Loading branch information...
gruninger committed Mar 27, 2017
1 parent ac6d6d5 commit c27aefcb8f5ce2c01200783e424493b3f1cf96b7
@@ -0,0 +1,11 @@
(cl-text http://colore.oor.net/graphs/P3covered.clif
(cl-imports http://colore.oor.net/graphs/graph_loops.clif)
(forall (x y)
(if (forall (z)
(iff (adj x z)
(adj y z)))
(= x y)))
)
@@ -0,0 +1,7 @@
(cl-text http://colore.oor.net/mereograph/P3covered_mereograph.clif
(cl-imports http://colore.oor.net/mereograph/mereograph.clif)
(cl-imports http://colore.oor.net/graphs/P3covered.clif)
)
@@ -0,0 +1,13 @@
(cl-text http://colore.oor.net/mereograph/mereograph.clif
(cl-imports http://colore.oor.net/graphs/graph_loops.clif)
(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
(forall (x y)
(if (leq x y)
(forall (z)
(if (adj x z)
(adj z y)))))
)
@@ -0,0 +1,11 @@
(cl-text http://colore.oor.net/mereograph/neighbour_order.clif
(cl-imports http://colore.oor.net/mereograph/mereograph.clif)
(forall (x y)
(iff (leq x y)
(forall (z)
(if (adj x z)
(adj y z)))))
)

0 comments on commit c27aefc

Please sign in to comment.