Lines Matching refs:chr
1695 libraries of \ECL - the {\em propia} library and the {\em chr}
1791 \subsection{The {\em chr} (Constraint Handling Rules) Library}
1819 Rules {\em chr} library.
1866 The constraints must be written to a file called {\em file.chr} - in
1867 our example we shall use {\em chrTaskResource.chr}.
1872 [eclipse 1]: lib(chr), lib(fd).
1873 * chr loaded
1876 [eclipse 2]: chr(chrTaskResource).
1877 * chrTaskResource.chr compiled.
1919 The {\em chr} library offers many more facilities, including
1926 The {\em propia} and {\em chr} libraries are implemented using a set