Lines Matching defs:Domain
479 \subsection{Domain constraints}
483 \item [\biptxtrefni{Vars :: Domain}{::/2!ic}{../bips/lib/ic/NN-2.html}]
486 specified by Domain. Vars may be a variable or a collection of variables
489 Domain can be specified as a simple range Lo .. Hi, or as a list
498 \item [\biptxtrefni{::(Var,Domain,Bool)}{::/3!ic}{../bips/lib/ic/NN-3.html}]
503 variables (unlike {\tt ::/2}), hence only the Domain formats suitable for
507 current domain of V does not intersect with Domain. It will be
509 Domain. Finally the Boolean will remain an integer variable in the
513 like {\tt ::/2}. Instantiating Bool to 0 will cause Domain to be
529 \item [\biptxtrefni{Vars \#:: Domain}{\#::/2!ic}{../bips/lib/ic/HNN-2.html}]
532 specified by Domain.
535 Domain can be specified as a simple range Lo .. Hi, or as a list
540 \item [\biptxtrefni{Vars \$:: Domain}{\$::/2!ic}{../bips/lib/ic/SNN-2.html}]
543 Domain.
546 Domain must represent one contiguous interval.
901 \item [\biptxtref{get_domain(Var, Domain)}{get_domain/2}{../bips/lib/ic/get_domain-2.html}]
904 \item [\biptxtref{get_domain_as_list(Var, Domain)}{get_domain_as_list/2}{../bips/lib/ic/get_domain_as_list-2.html}]