Uses of Interface
org.maxicp.cp.engine.core.CPSolver
Packages that use CPSolver
Package
Description
Constraint Programming Solver Implementation
Solver objects
CP Instantiation of the Symbolic Modeling API
-
Uses of CPSolver in org.maxicp.cp
Methods in org.maxicp.cp that return CPSolverModifier and TypeMethodDescriptionstatic CPSolverCPFactory.makeSolver()Creates a constraint programming solverstatic CPSolverCPFactory.makeSolver(boolean byCopy) Creates a constraint programming solverMethods in org.maxicp.cp with parameters of type CPSolverModifier and TypeMethodDescriptionstatic CPBoolVarCPFactory.makeBoolVar(CPSolver cp) Creates a boolean variable.static CPBoolVarCPFactory.makeBoolVar(CPSolver cp, boolean containsTrue, boolean containsFalse) Creates a boolean variable.static CPBoolVar[]CPFactory.makeBoolVarArray(CPSolver cp, int n) Creates an array of boolean variables with specified domain size.static DFSearchCreates a Depth First Search with custom branching heuristicstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp) Creates a new optional interval variable with a startMin of 0, an unbounded end and unfixed lengthstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp, boolean optional, int length) Creates a new interval optional or mandatory variable with a startMin of 0, an unbounded end and fixed lengthstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp, boolean optional, int lengthMin, int lengthMax) Creates a new interval variable with a startMin of 0, a length between lengthMin and lengthMaxstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp, int length) Creates a new optional interval variable with a startMin of 0, an unbounded end and fixed lengthstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp, int lengthMin, int lengthMax) Creates a new optional interval variable with a startMin of 0, a length between lengthMin and lengthMaxstatic CPIntervalVar[]CPFactory.makeIntervalVarArray(CPSolver cp, int n) Creates an array of new interval variable with a startMin of 0, an unbounded end and unfixed lengthstatic CPIntVarCPFactory.makeIntVar(CPSolver cp, int sz) Creates a variable with a domain of specified arity.static CPIntVarCPFactory.makeIntVar(CPSolver cp, int min, int max) Creates a variable with a domain equal to the specified range.static CPIntVarCPFactory.makeIntVar(CPSolver cp, Set<Integer> values) Creates a variable with a domain equal to the specified set of values.static CPIntVar[]CPFactory.makeIntVarArray(CPSolver cp, int n, int sz) Creates an array of variables with specified domain size.static CPIntVar[]CPFactory.makeIntVarArray(CPSolver cp, int n, int min, int max) Creates an array of variables with specified domain bounds.static CPSeqVarCPFactory.makeSeqVar(CPSolver cp, int nNodes, int start, int end) Creates a sequence variable.static CPSetVarCPFactory.makeSetVar(CPSolver cp, int n) Creates a set variable with possible elements{0,...,n-1}static CPCumulFunctionCreates an elementary Cumulative Function that is a pulse of height h that happen at time from.static CPCumulFunctionCreates an elementary Cumulative Function that is a step of height h that happen at time from. -
Uses of CPSolver in org.maxicp.cp.engine.core
Classes in org.maxicp.cp.engine.core that implement CPSolverMethods in org.maxicp.cp.engine.core that return CPSolverModifier and TypeMethodDescriptionAbstractCPConstraint.getSolver()CPBoolVarImpl.getSolver()CPFixedSetVar.getSolver()CPIntervalVar.getSolver()CPIntervalVarImpl.getSolver()CPIntervalVarOffset.getSolver()CPIntVar.getSolver()Returns the solver in which this variable was created.CPIntVarConstant.getSolver()CPIntVarImpl.getSolver()CPIntVarViewMul.getSolver()CPIntVarViewOffset.getSolver()CPIntVarViewOpposite.getSolver()CPNodeVar.getSolver()Returns the solver in which this variable was created.CPNodeVarViewFlip.getSolver()CPSeqVar.getSolver()Returns the solver in which this variable was created.CPSeqVarImpl.getSolver()CPSeqVarViewFlip.getSolver()CPSetVar.getSolver()Returns the solver of the set variable.CPSetVarImpl.getSolver()Constructors in org.maxicp.cp.engine.core with parameters of type CPSolverModifierConstructorDescriptionCPConstraintClosure(CPSolver cp, Runnable filtering) CPConstraintClosureWithDelta(CPSolver cp, CPIntVar x, Consumer<DeltaCPIntVar> filtering) CPFixedSetVar(CPSolver cp, int[] values) Creates a fixed set variable with the given values.CPIntVarConstant(CPSolver cp, int value) CPIntVarImpl(CPSolver cp, int n) Creates a variable with the elements{0,...,n-1}as initial domain.CPIntVarImpl(CPSolver cp, int min, int max) Creates a variable with the elements{min,...,max}as initial domain.CPIntVarImpl(CPSolver cp, Set<Integer> values) Creates a variable with a given set of values as initial domain.CPSeqVarImpl(CPSolver cp, int nNodes, int start, int end) CPSetVarImpl(CPSolver cp, int n) Creates a set variable with the elements{0,...,n-1}as initial possible domain. -
Uses of CPSolver in org.maxicp.cp.modeling
Fields in org.maxicp.cp.modeling declared as CPSolverConstructors in org.maxicp.cp.modeling with parameters of type CPSolverModifierConstructorDescriptionConcreteCPModel(ModelProxy modelProxy, CPSolver solver, SymbolicModel baseNode)