Predicate.java File Reference

import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.StringTokenizer;
import org.jacop.core.StoreCloneable;
import org.jacop.constraints.AbsXeqYCloneable;
import org.jacop.constraints.AndCloneable;
import org.jacop.constraints.Constraint;
import org.jacop.constraints.ConstraintCloneableInterface;
import org.jacop.constraints.DecomposedConstraint;
import org.jacop.constraints.DecomposedConstraintCloneableInterface;
import org.jacop.constraints.DistanceCloneable;
import org.jacop.constraints.EqCloneable;
import org.jacop.constraints.IfThenElseCloneable;
import org.jacop.constraints.MaxCloneable;
import org.jacop.constraints.MinCloneable;
import org.jacop.constraints.NotCloneable;
import org.jacop.constraints.OrCloneable;
import org.jacop.constraints.PrimitiveConstraint;
import org.jacop.constraints.XdivYeqZCloneable;
import org.jacop.constraints.XeqCCloneable;
import org.jacop.constraints.XeqYCloneable;
import org.jacop.constraints.XexpYeqZCloneable;
import org.jacop.constraints.XgtCCloneable;
import org.jacop.constraints.XgtYCloneable;
import org.jacop.constraints.XgteqCCloneable;
import org.jacop.constraints.XgteqYCloneable;
import org.jacop.constraints.XltCCloneable;
import org.jacop.constraints.XltYCloneable;
import org.jacop.constraints.XlteqCCloneable;
import org.jacop.constraints.XlteqYCloneable;
import org.jacop.constraints.XmodYeqZCloneable;
import org.jacop.constraints.XmulCeqZCloneable;
import org.jacop.constraints.XmulYeqCCloneable;
import org.jacop.constraints.XmulYeqZCloneable;
import org.jacop.constraints.XneqCCloneable;
import org.jacop.constraints.XneqYCloneable;
import org.jacop.constraints.XplusCeqZCloneable;
import org.jacop.constraints.XplusClteqZCloneable;
import org.jacop.constraints.XplusYeqCCloneable;
import org.jacop.constraints.XplusYeqZCloneable;
import org.jacop.constraints.XplusYlteqZCloneable;
import org.jacop.core.FailException;
import org.jacop.core.IntDomain;
import org.jacop.core.IntVarCloneable;
import org.jacop.core.IntervalDomain;
import org.jacop.core.Store;
import org.jacop.core.Var;

Include dependency graph for Predicate.java:

Classes
class	frodo2.solutionSpaces.JaCoP.Predicate
	Predicate wrapper that translates a predicate expression from XCSP into constraints available in JaCoP. More...

Packages
package	frodo2.solutionSpaces.JaCoP
	Package handling the interface with the JaCoP solver.