14.2.39 Class Term¶
A class representing a term, which ultimately enters a disjunctive constraint. A term can be a simple term, such as a (possibly multidimensional) inequality or equality constructed with
DJC.termor a conjunction of simple terms constructed with
Term.size – Total size of the term.
- Implemented by
Total size of the term.