documents/tutorial/eplex.tex

191 \subsection{Eplex instance}
194 instance}. Abstractly, it can be viewed as a solver module that is
195 dedicated to one MP problem. MP constraints can be posted to the instance
199 Declaratively, an eplex instance can be
203 an eplex instance do not necessarily have to be consistent with those in
208 An {\bf eplex instance} represents a single MP problem in a
217 Figure~\ref{tpprob}, using an eplex instance:
223 :- eplex_instance(prob).  % a. declare an eplex instance
230         % c. post the constraints for the problem to the eplex instance
254 To use an eplex instance, it must first be declared with \verb'eplex_instance/1'.
257 declared, an eplex instance can be referred to using its name like a module
262 Note that the bounds are posted to our eplex instance, using \verb'$::/2'.
264   an eplex instance are specific to that eplex instance.}
267 problem by posting them to the eplex instance.
281 We need to setup the external solver with the eplex instance, so
292 When an instance gets solved, the external solver takes into account all
293 constraints posted to that instance, the current variable bounds for the
441 the integrality constraint on \verb'Vars' for the eplex instance
465 declared as integers for the eplex instance.
466 \Note{Posting an integers/1 constraint to an eplex instance only
476 \item Declare an eplex instance using {\bf eplex_instance(+Instance)}.
478   \$::/2}) for the problem to the eplex instance.
508 instance when posted, and removed when they are backtracked over.
628         % c. post the constraints for the problem to the eplex instance
734 set up an external solver state for instance Instance. Trigs specifies a
737 information for the variable {\bf Var} in the eplex instance.
739 information about the eplex instance's solver state.