Skip to content
Permalink
Browse files

corrected used of voluminous_region to voluminal_region

  • Loading branch information...
Torsten Hahmann
Torsten Hahmann committed Mar 22, 2019
1 parent ed425c1 commit 73809f0251d54991e111e461297015422567e0cc
@@ -16,7 +16,7 @@

(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/areal_region.clif)

(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/voluminous_region.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/voluminal_region.clif)


(cl-comment 'Restrict the space to maximal 3 dimensions.')
@@ -11,7 +11,7 @@

(cl-text http://colore.oor.net/multidim_mereotopology_codib/definitions/completely_bounded_volume.clif

(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/voluminous_region.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/voluminal_region.clif)

(cl-imports http://colore.oor.net/multidim_mereotopology_codib/definitions/closed_areal_region.clif)

@@ -11,7 +11,7 @@

(cl-text http://colore.oor.net/multidim_mereotopology_codib/definitions/outer_boundary.clif

(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/voluminous_region.clif)
(cl-imports http://colore.oor.net/multidim_mereotopology_codi/definitions/voluminal_region.clif)

(cl-imports http://colore.oor.net/multidim_mereotopology_codib/definitions/stp.clif)

@@ -1,30 +1,30 @@
/*******************************************************************************
* 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_space_codi/definitions/voluminous_region.clif
(cl-imports http://colore.oor.net/multidim_space_codi/definitions/areal_region.clif)
(cl-comment 'Definition of an voluminous_region as something that is of exactly one dimension greater than an areal_region')
(forall (x)
(iff
(VoluminousRegion x)
(forall (y)
(if
(ArealRegion y)
(Covers x y)
)
)
)
)
/*******************************************************************************
* 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_space_codi/definitions/voluminal_region.clif

(cl-imports http://colore.oor.net/multidim_space_codi/definitions/areal_region.clif)

(cl-comment 'Definition of an voluminal_region as something that is of exactly one dimension greater than an areal_region')

(forall (x)
(iff
(VoluminousRegion x)
(forall (y)
(if
(ArealRegion y)
(Covers x y)
)
)
)
)

)

0 comments on commit 73809f0

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