!==

CSPOMExpression

&

BitVector EmptyBitVector IntInterval Interval LargeBitVector RangeSet SmallBitVector

*

Finite Infinitable Arithmetics RangeArithmetics MinInf PlusInf

+

Annotations ConstraintParameters MDD MDDLeaf MDDNode BitVector ContiguousIntRangeSet Finite Infinitable Arithmetics RangeArithmetics MinInf PlusInf

++

Delta BitVector RangeSet

+:

CSPOMSeq

+=

IdMap IdSet VecMap

-

ConstraintParameters MDD BitVector ContiguousIntRangeSet EmptyBitVector Finite Infinitable Arithmetics RangeArithmetics LargeBitVector MinInf PlusInf SmallBitVector

--

BitVector RangeSet

-=

IdMap IdSet VecMap

/

Arithmetics RangeArithmetics

:+

CSPOMSeq

<

Finite Infinitable MinInf PlusInf

<=

Finite Infinitable MinInf PlusInf

===

CSPOMExpression

>

Finite Infinitable MinInf PlusInf

>=

Finite Infinitable MinInf PlusInf

^

BitVector EmptyBitVector LargeBitVector SmallBitVector

_empty

MDD

|

BitVector EmptyBitVector LargeBitVector SmallBitVector

≠

CSPOMExpression