Lines Matching refs:new
32 % plus new sections on the new CHR library
87 \rep fail}). Propagation adds new constraints which are logically
528 is, the new constraint needs not to be added. The handling of the
538 include the case where the new constraint is identical to the
866 \item \verb/add/: A new constraint is added to the constraint store.
899 A new, extended, {\tt chr} library has been developed, with the intention of providing
963 {\tt @} clashes with the use of {\tt @} in modules. The new operator
965 new syntax:
995 compilation of \chr\ code is always incremental when a new file for a
1045 the new constraint is imposed. With the extended \chr, the old constraint
1129 the default priority will only affect new constraints compiled after the
1159 Another new option, \verb'default_chr_priority', allows the default
1167 changes the default priority to 6, so the compiler would generate new CHR
1174 A new built-in predicate, \verb'in_chrstore/1', is used to inspect the