Skip to content
Permalink
Browse files

new lattice orderings

  • Loading branch information...
gruninger committed Apr 5, 2019
1 parent e8679b0 commit 8118b172476bf7441de6ca24ab30a682df6680db
@@ -22,6 +22,6 @@
(and (noverlaps t y)
(forall (x)
(if (noverlaps t x)
(leq x y))))))a)
(leq x y)))))))

)
@@ -0,0 +1,27 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/orderings/semicomplemented_lattice_ordering.clif

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

(cl-imports http://colore.oor.net/orderings/definitions/bottom.clif)

(cl-imports http://colore.oor.net/orderings/definitions/top.clif)

(cl-imports http://colore.oor.net/orderings/definitions/noverlaps.clif)

(forall (x)
(if (not (top x))
(exists (y)
(and (not (bottom y))
(noverlaps x y)))))

)

0 comments on commit 8118b17

Please sign in to comment.
You can’t perform that action at this time.