Uses of Interface
minicp.engine.core.Solver

Packages that use Solver

Package	Description
minicp.cp	Factory methods for modeling and create search heuristics
minicp.engine.core	Solver objects

Uses of Solver in minicp.cp

Methods in minicp.cp that return Solver

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

Methods in minicp.cp with parameters of type Solver

Modifier and Type	Method and Description
static BoolVar	Factory.makeBoolVar(Solver cp) Creates a boolean variable.
static DFSearch	Factory.makeDfs(Solver cp, Supplier<Procedure[]> branching) Creates a Depth First Search with custom branching heuristic // Example of binary search: At each node it selects // the first free variable qi from the array q, // and creates two branches qi=v, qi!
static IntVar	Factory.makeIntVar(Solver cp, int sz) Creates a variable with a domain of specified arity.
static IntVar	Factory.makeIntVar(Solver cp, int min, int max) Creates a variable with a domain equal to the specified range.
static IntVar	Factory.makeIntVar(Solver cp, Set<Integer> values) Creates a variable with a domain equal to the specified set of values.
static IntVar[]	Factory.makeIntVarArray(Solver cp, int n, int sz) Creates an array of variables with specified domain size.
static IntVar[]	Factory.makeIntVarArray(Solver cp, int n, int min, int max) Creates an array of variables with specified domain bounds.

Uses of Solver in minicp.engine.core

Classes in minicp.engine.core that implement Solver

Modifier and Type	Class and Description
class	MiniCP

Methods in minicp.engine.core that return Solver

Modifier and Type	Method and Description
Solver	IntVarViewMul.getSolver()
Solver	IntVarImpl.getSolver()
Solver	IntVar.getSolver() Returns the solver in which this variable was created.
Solver	IntVarViewOffset.getSolver()
Solver	IntVarViewOpposite.getSolver()
Solver	AbstractConstraint.getSolver()

Constructors in minicp.engine.core with parameters of type Solver

Constructor and Description
AbstractConstraint(Solver cp)
BoolVarImpl(Solver cp)
ConstraintClosure(Solver cp, Procedure filtering)
IntVarImpl(Solver cp, int n) Creates a variable with the elements {@code {0,...
IntVarImpl(Solver cp, int min, int max) Creates a variable with the elements {@code {min,...
IntVarImpl(Solver cp, Set<Integer> values) Creates a variable with a given set of values as initial domain.