documents/intro_paper/eclipse.tex

173 %for the range of applications in mind.
175 %\ECL system, will give the reader an intuitive feeling for the range
752 The command {\em applist(range(0,99), [Min \verb0|0 PocketCoins])}
753 associates a range (between 0 and 99) with each of the variables.
773 This set of coins is also initialised to range between 0 and 99
809         applist(range(0,99),[Min|PocketCoins]),
816         applist(range(0,99),Coins),
820 range(Min,Max,Var) :-
857         applist(range(0,99),[Min|PocketCoins]),
865         applist(range(0,99),Coins),
869 range(Min,Max,Var) :-
902 the {\em range} library,
1222 \subsection{The {\em range} Library}
1223 The range library does very little itself, but it provides a common basis for
1225 By contrast with the finite domain library, the {\em range} library
1228 The library enables the programmer to associate a range with one or
1232 [eclipse 1]: lib(range).
1233 *       range loaded
1247 {\bf Example Queries Using the {\em range} Library}
1253 and the system responds by printing out the resulting range.
1254 When the variable is instantiated, the range is checked for
1271 range library to record the current ranges, and to detect
1364 *       range  loaded
1620 The  {\em eplex} library uses standard range-variables provided by the
1621 range-library,
2154 For example if a variable $X$ has range {\em [0..100]}, instead of
2256 *       range loaded
2268 *       CALL   mylabeling([X{eplex:1.0, range : 1..5, fd:[1..5]},
2269 *                          Y{eplex:5.0, range : 1..5, fd:[1..5]},
2270 *                          Z{eplex:1.2, range : 1..3, fd:[1..3]},
2271 *                          W{eplex:4.0, range : 1..4, fd:[1..4]}]) (dbg)?- leap
2272 *       CALL   indomain(Z{eplex:1.2, range : 1..3, fd:[1..3]}) (dbg)?- leap
2274 *       CALL   mylabeling([Y{eplex:5.0, range : 1..5, fd:[1..5]},
2275 *                          X{eplex:2.0, range : 1..5, fd:[2..5]},
2276 *                          W{eplex:3.7, range : 1..4, fd:[2..4]}]) (dbg)?- leap
2277 *       CALL   indomain(W{eplex:3.7, range : 1..4, fd:[2..4]}) (dbg)?- leap
2301 The reduced domains are automatically communicated to the {\em range}