Uses of Interface
org.maxicp.cp.engine.core.CPSolver

Packages that use CPSolver

Package	Description
org.maxicp.cp	Constraint Programming Solver Implementation
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API

Uses of CPSolver in org.maxicp.cp

Methods in org.maxicp.cp that return CPSolver

Modifier and Type	Method	Description
static CPSolver	CPFactory.makeSolver()	Creates a constraint programming solver
static CPSolver	CPFactory.makeSolver(boolean byCopy)	Creates a constraint programming solver

Methods in org.maxicp.cp with parameters of type CPSolver

Modifier and Type	Method	Description
static CPBoolVar	CPFactory.makeBoolVar(CPSolver cp)	Creates a boolean variable.
static CPBoolVar	CPFactory.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 DFSearch	CPFactory.makeDfs(CPSolver cp, Supplier<Runnable[]> branching)	Creates a Depth First Search with custom branching heuristic
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp)	Creates a new optional interval variable with a startMin of 0, an unbounded end and unfixed length
static CPIntervalVar	CPFactory.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 length
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp, boolean optional, int lengthMin, int lengthMax)	Creates a new interval variable with a startMin of 0, a length between lengthMin and lengthMax
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp, int length)	Creates a new optional interval variable with a startMin of 0, an unbounded end and fixed length
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp, int lengthMin, int lengthMax)	Creates a new optional interval variable with a startMin of 0, a length between lengthMin and lengthMax
static CPIntervalVar[]	CPFactory.makeIntervalVarArray(CPSolver cp, int n)	Creates an array of new interval variable with a startMin of 0, an unbounded end and unfixed length
static CPIntVar	CPFactory.makeIntVar(CPSolver cp, int sz)	Creates a variable with a domain of specified arity.
static CPIntVar	CPFactory.makeIntVar(CPSolver cp, int min, int max)	Creates a variable with a domain equal to the specified range.
static CPIntVar	CPFactory.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 CPSeqVar	CPFactory.makeSeqVar(CPSolver cp, int nNodes, int start, int end)	Creates a sequence variable.
static CPSetVar	CPFactory.makeSetVar(CPSolver cp, int n)	Creates a set variable with possible elements {0,...,n-1}
static CPCumulFunction	CPFactory.pulse(CPSolver cp, int from, int to, int h)	Creates an elementary Cumulative Function that is a pulse of height h that happen at time from.
static CPCumulFunction	CPFactory.step(CPSolver cp, int from, int h)	Creates 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 CPSolver

Modifier and Type	Class	Description
class	MaxiCP

Methods in org.maxicp.cp.engine.core that return CPSolver

Modifier and Type	Method	Description
CPSolver	AbstractCPConstraint.getSolver()
CPSolver	CPBoolVarImpl.getSolver()
CPSolver	CPFixedSetVar.getSolver()
CPSolver	CPIntervalVar.getSolver()
CPSolver	CPIntervalVarImpl.getSolver()
CPSolver	CPIntervalVarOffset.getSolver()
CPSolver	CPIntVar.getSolver()	Returns the solver in which this variable was created.
CPSolver	CPIntVarConstant.getSolver()
CPSolver	CPIntVarImpl.getSolver()
CPSolver	CPIntVarViewMul.getSolver()
CPSolver	CPIntVarViewOffset.getSolver()
CPSolver	CPIntVarViewOpposite.getSolver()
CPSolver	CPNodeVar.getSolver()	Returns the solver in which this variable was created.
CPSolver	CPNodeVarViewFlip.getSolver()
CPSolver	CPSeqVar.getSolver()	Returns the solver in which this variable was created.
CPSolver	CPSeqVarImpl.getSolver()
CPSolver	CPSeqVarViewFlip.getSolver()
CPSolver	CPSetVar.getSolver()	Returns the solver of the set variable.
CPSolver	CPSetVarImpl.getSolver()

Constructors in org.maxicp.cp.engine.core with parameters of type CPSolver

Modifier	Constructor	Description
	AbstractCPConstraint(CPSolver cp)
	CPBoolVarImpl(CPSolver cp)
	CPConstraintClosure(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.
	CPIntervalVarImpl(CPSolver cp)
	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 CPSolver

Modifier and Type	Field	Description
final CPSolver	ConcreteCPModel.solver

Constructors in org.maxicp.cp.modeling with parameters of type CPSolver

Modifier	Constructor	Description
	ConcreteCPModel(ModelProxy modelProxy, CPSolver solver, SymbolicModel baseNode)