Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
50 lines (32 sloc) 1.87 KB
/*******************************************************************************
* 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:
* Torsten Hahmann - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/multidim_mereotopology_codi/codi_unbounded.clif
(cl-comment 'codi_unbounded is CODI except that D-A6 (a lowest dimension must exist) is not enforced. Since D-A6 is part of dim_prime_linear, imported by codi_linear, we cannot import codi_linear here.')
(cl-imports http://colore.oor.net/multidim_mereotopology_dim/dim_prime_linear_unbounded.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_cont/cont_basic.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_cont/definitions/c.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/ep.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/epp.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/po.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/inc.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/sc.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/min_max_in_dim.clif)
(cl-comment 'relationship between dimension and containment')
(cl-comment 'CD-A1: containment requires that the contained entity has a dimension that is lower or equal to the entity containing it')
(forall (x y)
(if
(Cont x y)
(or
(< x y)
(EqDim x y)
)
)
)
)
You can’t perform that action at this time.