Skip to content
Permalink
Browse files

updated comments in periods with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent fda4195 commit 0e7fe37305cd45c7f5c0de66ac59be257c8ed703
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/periods/finite_periods.clif)

(cl-comment "ATOM")
(cl-comment 'ATOM')
(forall (x)
(exists (y)
(and (inclusion y x)
@@ -5,20 +5,20 @@

(cl-imports http://colore.oor.net/periods/definitions/periods_def.clif)

(cl-comment "DISJ")
(cl-comment 'DISJ')
(forall (x y)
(if (underlaps x y)
(exists (z)
(lub x y z))))

(cl-comment "FREE")
(cl-comment 'FREE')
(forall (x y)
(if (not (inclusion x y))
(exists (z)
(and (inclusion z x)
(not (overlaps z y))))))

(cl-comment "CONJ")
(cl-comment 'CONJ')
(forall (x y)
(if (overlaps x y)
(exists (z)
@@ -2,14 +2,14 @@

(cl-imports http://colore.oor.net/periods/periods_root.clif)

(cl-comment "Overlaps")
(cl-comment 'Overlaps')
(forall (x y)
(iff (overlaps x y)
(exists (z)
(and (inclusion z x)
(inclusion z y)))))

(cl-comment "Greatest Lower Bound")
(cl-comment 'Greatest Lower Bound')
(forall (x y z)
(iff (glb x y z)
(and (inclusion z x)
@@ -19,14 +19,14 @@
(inclusion u y))
(inclusion u z))))))

(cl-comment "Underlaps")
(cl-comment 'Underlaps')
(forall (x y)
(iff (underlaps x y)
(exists (z)
(and (inclusion x z)
(inclusion y z)))))

(cl-comment "Lower Upper Bound")
(cl-comment 'Lower Upper Bound')
(forall (x y z)
(iff (lub x y z)
(and (inclusion x z)
@@ -3,7 +3,7 @@

(cl-imports http://colore.oor.net/periods/periods.clif)

(cl-comment "DIR")
(cl-comment 'DIR')
(forall (x y)
(exists (z)
(and (inclusion x z)
@@ -7,36 +7,36 @@

(cl-imports http://colore.oor.net/periods/definitions/periods_def.clif)

(cl-comment "DISJ")
(cl-comment 'DISJ')
(forall (x y)
(if (underlaps x y)
(exists (z)
(lub x y z))))

(cl-comment "FREE")
(cl-comment 'FREE')
(forall (x y)
(if (not (inclusion x y))
(exists (z)
(and (inclusion z x)
(not (overlaps z y))))))

(cl-comment "MOND-1")
(cl-comment 'MOND-1')
(forall (x y z)
(if (and (precedence x y)
(precedence z y))
(exists (w)
(and (lub x z w)
(precedence w y)))))

(cl-comment "MOND-2")
(cl-comment 'MOND-2')
(forall (x y z)
(if (and (precedence y x)
(precedence y z))
(exists (w)
(and (lub x z w)
(precedence y w)))))

(cl-comment "CONV")
(cl-comment 'CONV')
(forall (x y z)
(if (and (precedence x y)
(precedence y z))
@@ -3,12 +3,12 @@

(cl-imports http://colore.oor.net/periods/periods.clif)

(cl-comment "SUCC-1")
(cl-comment 'SUCC-1')
(forall (x)
(exists (y)
(precedence x y)))

(cl-comment "SUCC-2")
(cl-comment 'SUCC-2')
(forall (x)
(exists (y)
(precedence y x)))
@@ -5,7 +5,7 @@

(cl-imports http://colore.oor.net/periods/definitions/periods_def.clif)

(cl-comment "LIN*")
(cl-comment 'LIN*')
(forall (x y)
(or (precedence x y)
(precedence y x)
@@ -6,7 +6,7 @@

(cl-imports http://colore.oor.net/periods/definitions/periods_def.clif)

(cl-comment "NEIGH-1")
(cl-comment 'NEIGH-1')
(forall (x y)
(if (precedence x y)
(exists (w)
@@ -15,7 +15,7 @@
(and (precedence x z)
(precedence z w))))))))

(cl-comment "NEIGH-2")
(cl-comment 'NEIGH-2')
(forall (x y)
(if (precedence y x)
(exists (w)
@@ -4,13 +4,13 @@

(cl-imports http://colore.oor.net/periods/definitions/periods_def.clif)

(cl-comment "MON-2")
(cl-comment 'MON-2')
(forall (x y z)
(if (and (precedence x y)
(inclusion z y))
(precedence x z)))

(cl-comment "CONJ")
(cl-comment 'CONJ')
(forall (x y)
(if (overlaps x y)
(exists (z)
@@ -2,13 +2,13 @@

(cl-imports http://colore.oor.net/periods/mixed_periods.clif)

(cl-comment "DENS*")
(cl-comment 'DENS*')
(forall (x)
(exists (y1 y2)
(and (precedence y1 y2)
(lub y1 y2 x))))

(cl-comment "ORIENT")
(cl-comment 'ORIENT')
(forall (x y)
(if (overlaps x y)
(or (= x y)
@@ -1,32 +1,32 @@
(cl-text http://colore.oor.net/periods/periods_root.clif

(cl-comment "Precedence TRANS")
(cl-comment 'Precedence TRANS')
(forall (x y z)
(if (and (precedence x y)
(precedence y z))
(precedence x z)))

(cl-comment "Precedence IREFF")
(cl-comment 'Precedence IREFF')
(forall (x)
(not (precedence x x)))

(cl-comment "Inclusion TRANS")
(cl-comment 'Inclusion TRANS')
(forall (x y z)
(if (and (inclusion x y)
(inclusion y z))
(inclusion x z)))

(cl-comment "Inclusion REF")
(cl-comment 'Inclusion REF')
(forall (x)
(inclusion x x))

(cl-comment "Inclusion ANTIS")
(cl-comment 'Inclusion ANTIS')
(forall (x y)
(if (and (inclusion x y)
(inclusion y x))
(= x y)))

(cl-comment "MON-1")
(cl-comment 'MON-1')
(forall (x y z)
(if (and (precedence x y)
(inclusion z x))

0 comments on commit 0e7fe37

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.