Lines Matching defs:and
11 % the License for the specific language governing rights and limitations
40 symbolic and integer arguments.
43 \section{Domains and Domain Variables}
50 The declaration specifies the domain values and their order. For example:
54 declares a domain with name 'weekday' and values 'mo', 'tu' etc. The
103 X and Y have symbolic domains, C has an integer domain.
130 (and are in fact implemented via) their counterparts in
150 declaration corresponds to 1, the second to 2 and so on. Similarly,
173 The integer variable I mirrors the domain of the symbolic variable X and vice versa.
176 \section{Extending and Interfacing this Library}