cljts.relation documentation
contains?
(contains? this that)
a.Contains(b) ⇔ b.Within(a)
crosses?
(crosses? this that)
The Crosses relationship applies to P/L, P/A, L/L and L/A situations. It is defined as
a.Cross(b) ⇔ [I(a)∩I(b)≠∅ ∧ (a ∩ b ≠a) ∧ (a ∩ b ≠b)]
disjoint?
(disjoint? this that)
Given two (topologically closed) geometric objects "a" and "b":
a.Disjoint(b) ⇔ a ∩ b = ∅
equals?
(equals? this that)
Given two (topologically closed) geometric objects "a" and "b":
a.Equals(b) ⇔ a ⊆ b ∧ b ⊆ a
intersects?
(intersects? this that)
a.Intersects(b) ⇔ ! a.Disjoint(b)
overlaps?
(overlaps? this that)
The Overlaps relationship is defined for A/A, L/L and P/P situations. It is defined as
a.Overlaps(b) ⇔ ( dim(I(a)) = dim(I(b)) = dim(I(a) ∩ I(b))) ∧ (a ∩ b ≠ a) ∧ (a ∩ b ≠ b)
relate?
(relate? this that relation)
check relationship by DE9-IM string
relation
(relation this that)
get DE9-IM string between to objects
touches?
(touches? this that)
The Touches relationship between two geometric objects "a" and "b" applies to the A/A, L/L, L/A, P/A and P/L groups of relationships but not to the P/P group. It is defined as
a.Touch(b) ⇔ (I(a)∩I(b)=∅)∧(a∩b)≠∅
within?
(within? this that)
The Within relationship is defined as: a.Within(b) ⇔ (a∩b=a) ∧ (I(a)∩E(b)=∅)