All example files are in the subdirectory lib/chr of the installation-directory of ECLiPSe (which can be found using get_flag(installation_directory,Dir). The files (.chr, .pl, examples) relevant to a particular constraint system can be found by looking at all files that match the pattern given in the following listing with each example handler. The examples include a colour graphic demo about optimal sender placement for wire-less devices in buildings and company sites, small constraint handlers for
and larger constraint handlers for
CHRs have also been used as a committed choice programming language on their own (*prime*).
The example handlers can be loaded using chr(lib(File))
. For
instance the finite domain handler can be made available as follows
(the current directory must have write permission so that
the pl file can be created):
[eclipse 1]: lib(chr), chr(lib(domain)). ... domain.pl compiled traceable 241028 bytes in 1.22 seconds yes. [eclipse 2]: X::1..10, X ne 5. X = X Constraints: (4) X_g1165 :: [1, 2, 3, 4, 6, 7, 8, 9, 10] yes.