- call() - Method in interface minicp.util.Procedure
-
Calls the procedure
- capa - Variable in class minicp.examples.RCPSP
-
- capacity - Variable in class minicp.examples.DialARide.DialARideSolution
-
- change() - Method in interface minicp.engine.core.DomainListener
-
Called whenever the domain loses a value.
- changeMax() - Method in interface minicp.engine.core.DomainListener
-
Called whenever the minmum value of the domain is lost.
- changeMin() - Method in interface minicp.engine.core.DomainListener
-
Called whenever the maximum value of the domain is lost.
- Circuit - Class in minicp.engine.constraints
-
Hamiltonian Circuit Constraint with a successor model
- Circuit(IntVar[]) - Constructor for class minicp.engine.constraints.Circuit
-
Creates an Hamiltonian Circuit Constraint
with a successor model.
- clear() - Method in class minicp.examples.EBRP.EBRPSolution
-
clear the solution, forgetting the order of visit that was given previously
- clear() - Method in class minicp.state.StateSparseBitSet.BitSet
-
Unset all the bits
- clear() - Method in class minicp.util.io.cpprofilerbridge.Message
-
- company - Variable in class minicp.examples.StableMatching
-
- companyPref - Variable in class minicp.examples.StableMatching
-
- compute(int[]) - Method in class minicp.engine.constraints.MaximumMatching
-
- compute() - Method in class minicp.examples.DialARide.DialARideSolution
-
- compute() - Method in class minicp.examples.EBRP.EBRPSolution
-
compute the value of the solution
throws a RuntimeException if the solution is invalid
- conflictOrderingSearch(Supplier<IntVar>, Function<IntVar, Integer>) - Static method in class minicp.cp.BranchingScheme
-
Conflict Ordering Search
Gay, S., Hartert, R., Lecoutre, C., Schaus, P.
- connect(int) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- Connector - Class in minicp.util.io.cpprofilerbridge
-
- Connector() - Constructor for class minicp.util.io.cpprofilerbridge.Connector
-
- Connector.NodeStatus - Enum in minicp.util.io.cpprofilerbridge
-
- Constraint - Interface in minicp.engine.core
-
Interface implemented by every Constraint
- ConstraintClosure - Class in minicp.engine.core
-
- ConstraintClosure(Solver, Procedure) - Constructor for class minicp.engine.core.ConstraintClosure
-
- consumption - Variable in class minicp.examples.RCPSP
-
- contains(int) - Method in class minicp.engine.core.BoolVarImpl
-
- contains(int) - Method in interface minicp.engine.core.IntDomain
-
Checks if the specified value belongs to the domain.
- contains(int) - Method in interface minicp.engine.core.IntVar
-
Returns true if the domain contains the specified value.
- contains(int) - Method in class minicp.engine.core.IntVarImpl
-
- contains(int) - Method in class minicp.engine.core.IntVarViewMul
-
- contains(int) - Method in class minicp.engine.core.IntVarViewOffset
-
- contains(int) - Method in class minicp.engine.core.IntVarViewOpposite
-
- contains(int) - Method in class minicp.engine.core.SparseSetDomain
-
- contains(int) - Method in class minicp.state.StateInterval
-
Checks if the a given value in the interval
- contains(int) - Method in class minicp.state.StateSparseSet
-
Checks if a value is in the set.
- Copier - Class in minicp.state
-
StateManager that will store
the state of every created elements
at each
Copier.saveState() call.
- Copier() - Constructor for class minicp.state.Copier
-
- Copy<T> - Class in minicp.state
-
Implementation of
State with copy strategy
- Copy(T) - Constructor for class minicp.state.Copy
-
- CopyInt - Class in minicp.state
-
Implementation of
StateInt with copy strategy
- CopyInt(int) - Constructor for class minicp.state.CopyInt
-
- CopyMap<K,V> - Class in minicp.state
-
Implementation of
StateMap with copy strategy
- CopyMap() - Constructor for class minicp.state.CopyMap
-
- CopyMap(Map<K, V>) - Constructor for class minicp.state.CopyMap
-
- cost(int[]) - Method in class minicp.examples.EBRP.EBRPInstance
-
gives the cost associated to a visit ordering
- cpProfiler(DFSearch, Supplier<String>) - Static method in class minicp.search.TreeVisualizer
-
- createNode(int, int, int, int, Connector.NodeStatus) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- Cumulative - Class in minicp.engine.constraints
-
Cumulative constraint with time-table filtering
- Cumulative(IntVar[], int[], int[], int) - Constructor for class minicp.engine.constraints.Cumulative
-
Creates a cumulative constraint with a time-table filtering.
- CumulativeDecomposition - Class in minicp.engine.constraints
-
Cumulative constraint with sum decomposition (very slow).
- CumulativeDecomposition(IntVar[], int[], int[], int) - Constructor for class minicp.engine.constraints.CumulativeDecomposition
-
Creates a cumulative constraint with a decomposition into sum constraint.
- EBRP - Class in minicp.examples
-
- EBRP() - Constructor for class minicp.examples.EBRP
-
- EBRP.EBRPInstance - Class in minicp.examples
-
An EBRP instance, with its distance matrix and time windows
EBRP.TimeWindow
- EBRP.EBRPSolution - Class in minicp.examples
-
A solution.
- EBRP.TimeWindow - Class in minicp.examples
-
A time window, represented by the earliest visit time and latest visit time
- EBRPInstance(int, int[][], EBRP.TimeWindow[]) - Constructor for class minicp.examples.EBRP.EBRPInstance
-
An EBRP instance
- EBRPSolution(EBRP.EBRPInstance) - Constructor for class minicp.examples.EBRP.EBRPSolution
-
- element(int[], IntVar) - Static method in class minicp.cp.Factory
-
Returns a variable representing
the value in an array at the position
specified by the given index variable
This relation is enforced by the
Element1D constraint
posted by calling this method.
- element(int[][], IntVar, IntVar) - Static method in class minicp.cp.Factory
-
Returns a variable representing
the value in a matrix at the position
specified by the two given row and column index variables
This relation is enforced by the
Element2D constraint
posted by calling this method.
- Element1D - Class in minicp.engine.constraints
-
Element Constraint modeling array[y] = z
- Element1D(int[], IntVar, IntVar) - Constructor for class minicp.engine.constraints.Element1D
-
Creates an element constraint array[y] = z
- Element1DDomainConsistent - Class in minicp.engine.constraints
-
Element Constraint modeling array[y] = z
- Element1DDomainConsistent(int[], IntVar, IntVar) - Constructor for class minicp.engine.constraints.Element1DDomainConsistent
-
Creates an element constraint array[y] = z
- Element1DVar - Class in minicp.engine.constraints
-
- Element1DVar(IntVar[], IntVar, IntVar) - Constructor for class minicp.engine.constraints.Element1DVar
-
- Element2D - Class in minicp.engine.constraints
-
Element Constraint modeling matrix[x][y] = z
- Element2D(int[][], IntVar, IntVar, IntVar) - Constructor for class minicp.engine.constraints.Element2D
-
Creates an element constraint mat[x][y] = z
- EMPTY - Static variable in class minicp.cp.BranchingScheme
-
Constant that should be returned
to notify the solver that there are no branches
to create any more and that the current state should
be considered as a solution.
- empty() - Method in interface minicp.engine.core.DomainListener
-
Called whenever the domain becomes empty.
- end - Variable in class minicp.examples.RCPSP
-
- equal(IntVar, int) - Static method in class minicp.cp.Factory
-
Returns a constraint imposing that the variable is
equal to some given value.
- equal(IntVar, IntVar) - Static method in class minicp.cp.Factory
-
Returns a constraint imposing that the two different variables
must take the value.
- Equal - Class in minicp.engine.constraints
-
- Equal(IntVar, IntVar) - Constructor for class minicp.engine.constraints.Equal
-
Creates a constraint such
that x = y
- Eternity - Class in minicp.examples
-
The Eternity II puzzle is an edge-matching puzzle which
involves placing 256 square puzzle pieces into a 16 by 16 grid,
constrained by the requirement to match adjacent edges.
- Eternity(String) - Constructor for class minicp.examples.Eternity
-
- Eternity(boolean, String) - Constructor for class minicp.examples.Eternity
-
- Example - Class in minicp.util.io.cpprofilerbridge
-
- Example() - Constructor for class minicp.util.io.cpprofilerbridge.Example
-
- id - Variable in class minicp.examples.Eternity
-
- in(int) - Method in interface minicp.util.GraphUtil.Graph
-
Returns the incoming node indexes in the specified node
- INCONSISTENCY - Static variable in exception minicp.util.exception.InconsistencyException
-
- InconsistencyException - Exception in minicp.util.exception
-
- InconsistencyException() - Constructor for exception minicp.util.exception.InconsistencyException
-
- increment() - Method in interface minicp.state.StateInt
-
Increments the value
- incrFailures() - Method in class minicp.search.SearchStatistics
-
- incrNodes() - Method in class minicp.search.SearchStatistics
-
- incrSolutions() - Method in class minicp.search.SearchStatistics
-
- InputReader - Class in minicp.util.io
-
- InputReader(String) - Constructor for class minicp.util.io.InputReader
-
- insert(int, int, int) - Method in class minicp.engine.constraints.ThetaTree
-
Insert activity in leaf nodes at given position
such that it is taken into account for the
ThetaTree.getECT()
computation.
- IntDomain - Interface in minicp.engine.core
-
Interface for integer domain implementation.
- intersect(StateSparseBitSet.BitSet) - Method in class minicp.state.StateSparseBitSet.BitSet
-
Makes the intersection with another bit-set but
only on non zero-words of the outer sparse-bit-set.
- intersect(StateSparseBitSet.BitSet) - Method in class minicp.state.StateSparseBitSet
-
Intersect this sparset-set with bs
- IntOverFlowException - Exception in minicp.util.exception
-
- IntOverFlowException(String) - Constructor for exception minicp.util.exception.IntOverFlowException
-
- IntVar - Interface in minicp.engine.core
-
- IntVarImpl - Class in minicp.engine.core
-
- IntVarImpl(Solver, int) - Constructor for class minicp.engine.core.IntVarImpl
-
Creates a variable with the elements {0,...,n-1}
as initial domain.
- IntVarImpl(Solver, int, int) - Constructor for class minicp.engine.core.IntVarImpl
-
Creates a variable with the elements {min,...,max}
as initial domain.
- IntVarImpl(Solver, Set<Integer>) - Constructor for class minicp.engine.core.IntVarImpl
-
Creates a variable with a given set of values as initial domain.
- IntVarViewMul - Class in minicp.engine.core
-
A view on a variable of type a*x
- IntVarViewMul(IntVar, int) - Constructor for class minicp.engine.core.IntVarViewMul
-
- IntVarViewOffset - Class in minicp.engine.core
-
A view on a variable of type x+o
- IntVarViewOffset(IntVar, int) - Constructor for class minicp.engine.core.IntVarViewOffset
-
- IntVarViewOpposite - Class in minicp.engine.core
-
A view on a variable of type -x
- IntVarViewOpposite(IntVar) - Constructor for class minicp.engine.core.IntVarViewOpposite
-
- InvalidSolutionException - Exception in minicp.util.exception
-
- InvalidSolutionException(String) - Constructor for exception minicp.util.exception.InvalidSolutionException
-
- isActive() - Method in class minicp.engine.core.AbstractConstraint
-
- isActive() - Method in interface minicp.engine.core.Constraint
-
Returns the active status of the constraint.
- isCompleted() - Method in class minicp.search.SearchStatistics
-
- isEmpty() - Method in class minicp.state.StateInterval
-
Checks if the interval is empty.
- isEmpty() - Method in class minicp.state.StateSparseBitSet
-
- isEmpty() - Method in class minicp.state.StateSparseSet
-
Checks if the set is empty
- isEqual(IntVar, int) - Static method in class minicp.cp.Factory
-
Returns a boolean variable representing
whether one variable is equal to the given constant.
- IsEqual - Class in minicp.engine.constraints
-
Reified equality constraint
- IsEqual(BoolVar, IntVar, int) - Constructor for class minicp.engine.constraints.IsEqual
-
Returns a boolean variable representing
whether one variable is equal to the given constant.
- isFalse() - Method in interface minicp.engine.core.BoolVar
-
Tests if the variable is fixed to false.
- isFalse() - Method in class minicp.engine.core.BoolVarImpl
-
- isFalse() - Method in class minicp.engine.core.BoolVarIsEqual
-
- isFixed() - Method in class minicp.engine.core.BoolVarImpl
-
- isFixed() - Method in interface minicp.engine.core.IntVar
-
Returns true if the domain of the variable has a single value.
- isFixed() - Method in class minicp.engine.core.IntVarImpl
-
- isFixed() - Method in class minicp.engine.core.IntVarViewMul
-
- isFixed() - Method in class minicp.engine.core.IntVarViewOffset
-
- isFixed() - Method in class minicp.engine.core.IntVarViewOpposite
-
- isLarger(IntVar, int) - Static method in class minicp.cp.Factory
-
Returns a boolean variable representing
whether one variable is larger than the given constant.
- isLargerOrEqual(IntVar, int) - Static method in class minicp.cp.Factory
-
Returns a boolean variable representing
whether one variable is larger or equal to the given constant.
- isLess(IntVar, int) - Static method in class minicp.cp.Factory
-
Returns a boolean variable representing
whether one variable is less than the given constant.
- isLessOrEqual(IntVar, int) - Static method in class minicp.cp.Factory
-
Returns a boolean variable representing
whether one variable is less or equal to the given constant.
- IsLessOrEqual - Class in minicp.engine.constraints
-
Reified less or equal constraint.
- IsLessOrEqual(BoolVar, IntVar, int) - Constructor for class minicp.engine.constraints.IsLessOrEqual
-
Creates a constraint that
link a boolean variable representing
whether one variable is less or equal to the given constant.
- IsLessOrEqualVar - Class in minicp.engine.constraints
-
Reified is less or equal constraint b <=> x <= y.
- IsLessOrEqualVar(BoolVar, IntVar, IntVar) - Constructor for class minicp.engine.constraints.IsLessOrEqualVar
-
Creates a reified is less or equal constraint b <=> x <= y.
- IsOr - Class in minicp.engine.constraints
-
Reified logical or constraint
- IsOr(BoolVar, BoolVar[]) - Constructor for class minicp.engine.constraints.IsOr
-
Creates a constraint such that
the boolean b is true if and only if
at least variable in x is true.
- isScheduled() - Method in class minicp.engine.core.AbstractConstraint
-
- isScheduled() - Method in interface minicp.engine.core.Constraint
-
Returns the schedule status in the fix-point.
- isSingleton() - Method in interface minicp.engine.core.IntDomain
-
Checks if the domain contains a single element.
- isSingleton() - Method in class minicp.engine.core.SparseSetDomain
-
- isTrue() - Method in interface minicp.engine.core.BoolVar
-
Tests if the variable is fixed to true.
- isTrue() - Method in class minicp.engine.core.BoolVarImpl
-
- isTrue() - Method in class minicp.engine.core.BoolVarIsEqual
-
- isValid() - Method in class minicp.examples.EBRP.EBRPSolution
-
tell if the solution is valid or not
- m - Variable in class minicp.examples.Eternity
-
- MagicSerie - Class in minicp.examples
-
The Magic Series problem.
- MagicSerie() - Constructor for class minicp.examples.MagicSerie
-
- MagicSeriePaper - Class in minicp.examples
-
The Magic Series problem.
- MagicSeriePaper() - Constructor for class minicp.examples.MagicSeriePaper
-
- MagicSquare - Class in minicp.examples
-
The Magic Square problem.
- MagicSquare() - Constructor for class minicp.examples.MagicSquare
-
- main(String[]) - Static method in class minicp.examples.DialARide
-
- main(String[]) - Static method in class minicp.examples.EBRP
-
solve an EBRP instance using the time allowed
- main(String[]) - Static method in class minicp.examples.Eternity
-
- main(String[]) - Static method in class minicp.examples.JobShop
-
- main(String[]) - Static method in class minicp.examples.MagicSerie
-
- main(String[]) - Static method in class minicp.examples.MagicSeriePaper
-
- main(String[]) - Static method in class minicp.examples.MagicSquare
-
- main(String[]) - Static method in class minicp.examples.NQueens
-
- main(String[]) - Static method in class minicp.examples.NQueensPaper
-
- main(String[]) - Static method in class minicp.examples.NQueensVisuTree
-
- main(String[]) - Static method in class minicp.examples.QAP
-
- main(String[]) - Static method in class minicp.examples.QAPLNS
-
- main(String[]) - Static method in class minicp.examples.QAPPaper
-
- main(String[]) - Static method in class minicp.examples.RCPSP
-
- main(String[]) - Static method in class minicp.examples.SMoney
-
- main(String[]) - Static method in class minicp.examples.StableMatching
-
- main(String[]) - Static method in class minicp.examples.Steel
-
- main(String[]) - Static method in class minicp.examples.TSP
-
- main(String[]) - Static method in class minicp.examples.TSPBoundImpact
-
- main(String[]) - Static method in class minicp.util.io.cpprofilerbridge.Example
-
- makeBoolVar(Solver) - Static method in class minicp.cp.Factory
-
Creates a boolean variable.
- makeDfs(Solver, Supplier<Procedure[]>) - Static method in class minicp.cp.Factory
-
Creates a Depth First Search with custom branching heuristic
- makeIntVar(Solver, int) - Static method in class minicp.cp.Factory
-
Creates a variable with a domain of specified arity.
- makeIntVar(Solver, int, int) - Static method in class minicp.cp.Factory
-
Creates a variable with a domain equal to the specified range.
- makeIntVar(Solver, Set<Integer>) - Static method in class minicp.cp.Factory
-
Creates a variable with a domain equal to the specified set of values.
- makeIntVarArray(Solver, int, int) - Static method in class minicp.cp.Factory
-
Creates an array of variables with specified domain size.
- makeIntVarArray(Solver, int, int, int) - Static method in class minicp.cp.Factory
-
Creates an array of variables with specified domain bounds.
- makeIntVarArray(int, Function<Integer, IntVar>) - Static method in class minicp.cp.Factory
-
Creates an array of variables with specified lambda function
- makeSolver() - Static method in class minicp.cp.Factory
-
Creates a constraint programming solver
- makeSolver(boolean) - Static method in class minicp.cp.Factory
-
Creates a constraint programming solver
- makeStateInt(int) - Method in class minicp.state.Copier
-
- makeStateInt(int) - Method in interface minicp.state.StateManager
-
Creates a Stateful integer (restorable)
- makeStateInt(int) - Method in class minicp.state.Trailer
-
- makeStateMap() - Method in class minicp.state.Copier
-
- makeStateMap() - Method in interface minicp.state.StateManager
-
Creates a Stateful map (restorable)
- makeStateMap() - Method in class minicp.state.Trailer
-
- makeStateRef(T) - Method in class minicp.state.Copier
-
- makeStateRef(T) - Method in interface minicp.state.StateManager
-
Creates a Stateful reference (restorable)
- makeStateRef(T) - Method in class minicp.state.Trailer
-
- max() - Method in class minicp.engine.core.BoolVarImpl
-
- max() - Method in interface minicp.engine.core.IntDomain
-
Returns the maximum value of the domain.
- max() - Method in interface minicp.engine.core.IntVar
-
Returns the maximum of the domain of the variable
- max() - Method in class minicp.engine.core.IntVarImpl
-
- max() - Method in class minicp.engine.core.IntVarViewMul
-
- max() - Method in class minicp.engine.core.IntVarViewOffset
-
- max() - Method in class minicp.engine.core.IntVarViewOpposite
-
- max() - Method in class minicp.engine.core.SparseSetDomain
-
- max - Variable in class minicp.examples.Eternity
-
- max() - Method in class minicp.state.StateInterval
-
Returns the maximum value in the interval.
- max() - Method in class minicp.state.StateSparseSet
-
Returns the maximum value in the set.
- maximize(IntVar) - Method in class minicp.engine.core.MiniCP
-
- maximize(IntVar) - Method in interface minicp.engine.core.Solver
-
Creates a maximization objective on the given variable.
- maximum(IntVar...) - Static method in class minicp.cp.Factory
-
Computes a variable that is the maximum of a set of variables.
- Maximum - Class in minicp.engine.constraints
-
Maximum Constraint
- Maximum(IntVar[], IntVar) - Constructor for class minicp.engine.constraints.Maximum
-
Creates the maximum constraint y = maximum(x[0],x[1],...,x[n])?
- MaximumMatching - Class in minicp.engine.constraints
-
Compute and Maintain a Maximum Matching
in the variable-value graph
- MaximumMatching(IntVar...) - Constructor for class minicp.engine.constraints.MaximumMatching
-
- maxRideTime - Variable in class minicp.examples.DialARide.DialARideSolution
-
- maxRouteDuration - Variable in class minicp.examples.DialARide.DialARideSolution
-
- Message - Class in minicp.util.io.cpprofilerbridge
-
- Message(Connector) - Constructor for class minicp.util.io.cpprofilerbridge.Message
-
- Message.MsgType - Enum in minicp.util.io.cpprofilerbridge
-
- Message.OptionalArgs - Enum in minicp.util.io.cpprofilerbridge
-
- min() - Method in class minicp.engine.core.BoolVarImpl
-
- min() - Method in interface minicp.engine.core.IntDomain
-
Returns the minimum value of the domain.
- min() - Method in interface minicp.engine.core.IntVar
-
Returns the minimum of the domain of the variable
- min() - Method in class minicp.engine.core.IntVarImpl
-
- min() - Method in class minicp.engine.core.IntVarViewMul
-
- min() - Method in class minicp.engine.core.IntVarViewOffset
-
- min() - Method in class minicp.engine.core.IntVarViewOpposite
-
- min() - Method in class minicp.engine.core.SparseSetDomain
-
- min() - Method in class minicp.state.StateInterval
-
Returns the minimum value in the interval.
- min() - Method in class minicp.state.StateSparseSet
-
Returns the minimum value in the set.
- minicp - package minicp
-
Utility tools for IO, Algo, Exceptions
- MiniCP - Class in minicp.engine.core
-
- MiniCP(StateManager) - Constructor for class minicp.engine.core.MiniCP
-
- minicp.cp - package minicp.cp
-
Factory methods for modeling and create search heuristics
- minicp.engine - package minicp.engine
-
Solver and Constraint objects
- minicp.engine.constraints - package minicp.engine.constraints
-
Constraints
- minicp.engine.core - package minicp.engine.core
-
Solver objects
- minicp.examples - package minicp.examples
-
Model examples
- minicp.search - package minicp.search
-
State Management
- minicp.state - package minicp.state
-
State Management
- minicp.util - package minicp.util
-
Provides utility tools and objects (file reading, exceptions, etc)
- minicp.util.exception - package minicp.util.exception
-
- minicp.util.io - package minicp.util.io
-
Input file reader utility
- minicp.util.io.cpprofilerbridge - package minicp.util.io.cpprofilerbridge
-
- minimize(IntVar) - Method in class minicp.engine.core.MiniCP
-
- Minimize - Class in minicp.engine.core
-
Minimization objective function
- Minimize(IntVar) - Constructor for class minicp.engine.core.Minimize
-
- minimize(IntVar) - Method in interface minicp.engine.core.Solver
-
Creates a minimization objective on the given variable.
- minimum(IntVar...) - Static method in class minicp.cp.Factory
-
Computes a variable that is the minimum of a set of variables.
- minus(IntVar) - Static method in class minicp.cp.Factory
-
A variable that is a view of -x.
- minus(IntVar, int) - Static method in class minicp.cp.Factory
-
A variable that is a view of x-v.
- mul(IntVar, int) - Static method in class minicp.cp.Factory
-
A variable that is a view of x*a.
- r - Variable in class minicp.examples.Eternity
-
- rankCompanies - Variable in class minicp.examples.StableMatching
-
- rankStudents - Variable in class minicp.examples.StableMatching
-
- RCPSP - Class in minicp.examples
-
Resource Constrained Project Scheduling Problem.
- RCPSP(String) - Constructor for class minicp.examples.RCPSP
-
- readRide(InputReader) - Static method in class minicp.examples.DialARide
-
- rectangleIndex(int) - Method in class minicp.engine.constraints.Profile
-
Retrieves the rectangle index of the profile that overlaps a given time.
- rectangles() - Method in class minicp.engine.constraints.Profile
-
Get the cumulated Profile from the rectangles passed in argument
to the constructor.
- remove(int) - Method in class minicp.engine.constraints.ThetaTree
-
Remove activity at given position that it has no impact
on the earliest completion time computation
- remove(int) - Method in class minicp.engine.core.BoolVarImpl
-
- remove(int, DomainListener) - Method in interface minicp.engine.core.IntDomain
-
Removes a value from the domain and notifies appropriately the listener.
- remove(int) - Method in interface minicp.engine.core.IntVar
-
Removes the specified value.
- remove(int) - Method in class minicp.engine.core.IntVarImpl
-
- remove(int) - Method in class minicp.engine.core.IntVarViewMul
-
- remove(int) - Method in class minicp.engine.core.IntVarViewOffset
-
- remove(int) - Method in class minicp.engine.core.IntVarViewOpposite
-
- remove(int, DomainListener) - Method in class minicp.engine.core.SparseSetDomain
-
- remove(int) - Method in class minicp.state.StateSparseSet
-
Removes the given value from the set.
- removeAbove(int) - Method in class minicp.engine.core.BoolVarImpl
-
- removeAbove(int, DomainListener) - Method in interface minicp.engine.core.IntDomain
-
Removes every value larger than the specified value from the domain.
- removeAbove(int) - Method in interface minicp.engine.core.IntVar
-
Remove all the values above a given value
- removeAbove(int) - Method in class minicp.engine.core.IntVarImpl
-
- removeAbove(int) - Method in class minicp.engine.core.IntVarViewMul
-
- removeAbove(int) - Method in class minicp.engine.core.IntVarViewOffset
-
- removeAbove(int) - Method in class minicp.engine.core.IntVarViewOpposite
-
- removeAbove(int, DomainListener) - Method in class minicp.engine.core.SparseSetDomain
-
- removeAbove(int) - Method in class minicp.state.StateInterval
-
Updates the maximum value of the interval
to the given one if it is less than the
current
StateInterval.max().
- removeAbove(int) - Method in class minicp.state.StateSparseSet
-
Remove all the values larger than the given value from the set
- removeAll() - Method in class minicp.state.StateInterval
-
Empties the interval.
- removeAll() - Method in class minicp.state.StateSparseSet
-
Removes all the values in the set.
- removeAllBut(int, DomainListener) - Method in interface minicp.engine.core.IntDomain
-
Removes every value from the domain except the specified one.
- removeAllBut(int, DomainListener) - Method in class minicp.engine.core.SparseSetDomain
-
- removeAllBut(int) - Method in class minicp.state.StateInterval
-
Reduces the interval to a single value.
- removeAllBut(int) - Method in class minicp.state.StateSparseSet
-
Removes all the element from the set except the given value.
- removeBelow(int) - Method in class minicp.engine.core.BoolVarImpl
-
- removeBelow(int, DomainListener) - Method in interface minicp.engine.core.IntDomain
-
Removes every value less than the specified value from the domain.
- removeBelow(int) - Method in interface minicp.engine.core.IntVar
-
Remove all the values less than a given value
- removeBelow(int) - Method in class minicp.engine.core.IntVarImpl
-
- removeBelow(int) - Method in class minicp.engine.core.IntVarViewMul
-
- removeBelow(int) - Method in class minicp.engine.core.IntVarViewOffset
-
- removeBelow(int) - Method in class minicp.engine.core.IntVarViewOpposite
-
- removeBelow(int, DomainListener) - Method in class minicp.engine.core.SparseSetDomain
-
- removeBelow(int) - Method in class minicp.state.StateInterval
-
Updates the minimum value of the interval
to the given one if it is larger than the
current
StateInterval.min().
- removeBelow(int) - Method in class minicp.state.StateSparseSet
-
Remove all the values less than the given value from the set
- reset() - Method in class minicp.engine.constraints.ThetaTree
-
Remove all the activities from this theta-tree
- resetNSolutions() - Method in class minicp.examples.SatisfactionProblem
-
- restart(int) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- restart(String, int) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- restore() - Method in interface minicp.state.StateEntry
-
- restoreState() - Method in class minicp.state.Copier
-
- restoreState() - Method in interface minicp.state.StateManager
-
Restores state as it was at getLevel()-1
Decrease the level by 1
- restoreState() - Method in class minicp.state.Trailer
-
- restoreStateUntil(int) - Method in class minicp.state.Copier
-
- restoreStateUntil(int) - Method in interface minicp.state.StateManager
-
Restores the state up the the given level.
- restoreStateUntil(int) - Method in class minicp.state.Trailer
-
- SatisfactionProblem - Class in minicp.examples
-
A constraint problem with no associated objective
- SatisfactionProblem() - Constructor for class minicp.examples.SatisfactionProblem
-
- save() - Method in class minicp.state.Copy
-
- save() - Method in class minicp.state.CopyMap
-
- save() - Method in interface minicp.state.Storage
-
- saveState() - Method in class minicp.state.Copier
-
- saveState() - Method in interface minicp.state.StateManager
-
Stores the current state
such that it can be recovered using restoreState()
Increase the level by 1
- saveState() - Method in class minicp.state.Trailer
-
- schedule(Constraint) - Method in class minicp.engine.core.MiniCP
-
- schedule(Constraint) - Method in interface minicp.engine.core.Solver
-
Schedules the constraint to be propagated by the fix-point.
- scheduleAll(StateStack<Constraint>) - Method in class minicp.engine.core.IntVarImpl
-
- SearchStatistics - Class in minicp.search
-
- SearchStatistics() - Constructor for class minicp.search.SearchStatistics
-
- selectMin(T[], Predicate<T>, Function<T, N>) - Static method in class minicp.cp.BranchingScheme
-
Minimum selector.
- send() - Method in class minicp.util.io.cpprofilerbridge.Message
-
- sendNode(int, int, int, int, Connector.NodeStatus) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- sendNode(Message) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- Sequencer - Class in minicp.search
-
Sequential Search combinator that linearly
considers a list of branching generator.
- Sequencer(Supplier<Procedure[]>...) - Constructor for class minicp.search.Sequencer
-
Creates a sequential search combinator.
- set(int) - Method in class minicp.state.StateSparseBitSet.BitSet
-
Set the ith bit
- setActive(boolean) - Method in class minicp.engine.core.AbstractConstraint
-
- setActive(boolean) - Method in interface minicp.engine.core.Constraint
-
Activates or deactivates the constraint such that it is not scheduled any more.
- setCompleted() - Method in class minicp.search.SearchStatistics
-
- setLabel(String) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodeAlt(int) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodeChildren(int) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodeId(int) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodeInfo(String) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodeLabel(String) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodeNoGood(String) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodePid(int) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNodeRestartId(int) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setNoteStatus(int) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setRestartId(int) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setScheduled(boolean) - Method in class minicp.engine.core.AbstractConstraint
-
- setScheduled(boolean) - Method in interface minicp.engine.core.Constraint
-
Set the status of the constraint as
scheduled to be propagated by the fix-point.
- setType(Message.MsgType) - Method in class minicp.util.io.cpprofilerbridge.Message
-
- setValue(T) - Method in class minicp.state.Copy
-
- setValue(T) - Method in interface minicp.state.State
-
Set the value
- setValue(T) - Method in class minicp.state.Trail
-
- setVisitOrder(int[]) - Method in class minicp.examples.EBRP.EBRPSolution
-
set the order of visits of nodes
- size() - Method in class minicp.engine.constraints.Profile
-
Return the number of rectangles in the profile.
- size() - Method in class minicp.engine.core.BoolVarImpl
-
- size() - Method in interface minicp.engine.core.IntDomain
-
Returns the cardinality of the domain.
- size() - Method in interface minicp.engine.core.IntVar
-
Returns the size of the domain of the variable
- size() - Method in class minicp.engine.core.IntVarImpl
-
- size() - Method in class minicp.engine.core.IntVarViewMul
-
- size() - Method in class minicp.engine.core.IntVarViewOffset
-
- size() - Method in class minicp.engine.core.IntVarViewOpposite
-
- size() - Method in class minicp.engine.core.SparseSetDomain
-
- size() - Method in class minicp.state.StateInterval
-
Returns the number of integer values in the interval.
- size() - Method in class minicp.state.StateSparseSet
-
Returns the size of the set.
- size() - Method in class minicp.state.StateStack
-
- SMoney - Class in minicp.examples
-
The Send-More-Money problem.
- SMoney() - Constructor for class minicp.examples.SMoney
-
- solution(int, int, int) - Method in interface minicp.search.DFSListener
-
- solve(int, int, int, int, ArrayList<DialARide.RideStop>, ArrayList<DialARide.RideStop>, DialARide.RideStop) - Static method in class minicp.examples.DialARide
-
- solve(EBRP.EBRPInstance) - Static method in class minicp.examples.EBRP
-
- solve() - Method in class minicp.examples.OptimizationProblem
-
- solve(boolean) - Method in class minicp.examples.OptimizationProblem
-
- solve(Predicate<SearchStatistics>) - Method in class minicp.examples.OptimizationProblem
-
- solve(boolean, Predicate<SearchStatistics>) - Method in class minicp.examples.OptimizationProblem
-
- solve() - Method in class minicp.examples.SatisfactionProblem
-
- solve(boolean) - Method in class minicp.examples.SatisfactionProblem
-
- solve(Predicate<SearchStatistics>) - Method in class minicp.examples.SatisfactionProblem
-
- solve(boolean, Predicate<SearchStatistics>) - Method in class minicp.examples.SatisfactionProblem
-
- solve(boolean, Predicate<SearchStatistics>) - Method in class minicp.examples.StableMatching
-
- solve() - Method in class minicp.search.DFSearch
-
Effectively start a depth first search
looking for every solution.
- solve(Predicate<SearchStatistics>) - Method in class minicp.search.DFSearch
-
Effectively start a depth first search
with a given predicate called at each node
to stop the search when it becomes true.
- Solver - Interface in minicp.engine.core
-
- solveSubjectTo(Predicate<SearchStatistics>, Procedure) - Method in class minicp.search.DFSearch
-
Executes a closure prior to effectively
starting a depth first search
with a given predicate called at each node
to stop the search when it becomes true.
- SparseSetDomain - Class in minicp.engine.core
-
Implementation of a domain with a sparse-set
- SparseSetDomain(StateManager, int, int) - Constructor for class minicp.engine.core.SparseSetDomain
-
- StableMatching - Class in minicp.examples
-
Stable Matching problem:
Given n students and n companies, where each student (resp.
- StableMatching(String) - Constructor for class minicp.examples.StableMatching
-
- start - Variable in class minicp.examples.RCPSP
-
- start(int) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- start(String, int) - Method in class minicp.util.io.cpprofilerbridge.Connector
-
- State<T> - Interface in minicp.state
-
- StateEntry - Interface in minicp.state
-
A StateEntry is aimed to be
stored by a StateManager to revert some state
- StateInt - Interface in minicp.state
-
- StateInterval - Class in minicp.state
-
- StateInterval(StateManager, int, int) - Constructor for class minicp.state.StateInterval
-
- StateLazySparseSet - Class in minicp.state
-
A sparse-set that lazily switch
from an dense interval representation
to a sparse-set representation
when a hole is created in the interval.
- StateLazySparseSet() - Constructor for class minicp.state.StateLazySparseSet
-
- StateManager - Interface in minicp.state
-
The StateManager exposes
all the mechanisms and data-structures
needed to implement a depth-first-search
with reversible states.
- StateMap<K,V> - Interface in minicp.state
-
- StateSparseBitSet - Class in minicp.state
-
- StateSparseBitSet(StateManager, int) - Constructor for class minicp.state.StateSparseBitSet
-
Creates a StateSparseSet with n bits, initially all set
- StateSparseBitSet.BitSet - Class in minicp.state
-
- StateSparseSet - Class in minicp.state
-
- StateSparseSet(StateManager, int, int) - Constructor for class minicp.state.StateSparseSet
-
Creates a set containing the elements {ofs,ofs+1,...,ofs+n-1}.
- StateStack<E> - Class in minicp.state
-
- StateStack(StateManager) - Constructor for class minicp.state.StateStack
-
Creates a restorable stack.
- Steel - Class in minicp.examples
-
Steel is produced by casting molten iron into slabs.
- Steel() - Constructor for class minicp.examples.Steel
-
- stops - Variable in class minicp.examples.DialARide.DialARideSolution
-
- StopSearchException - Exception in minicp.search
-
- StopSearchException() - Constructor for exception minicp.search.StopSearchException
-
- Storage - Interface in minicp.state
-
Object that can be saved by the
Copier.
- storeSize() - Method in class minicp.state.Copier
-
- stronglyConnectedComponents(GraphUtil.Graph) - Static method in class minicp.util.GraphUtil
-
Computes the strongly connected components of the graph
- student - Variable in class minicp.examples.StableMatching
-
- studentPref - Variable in class minicp.examples.StableMatching
-
- succ - Variable in class minicp.examples.TSP
-
- successors - Variable in class minicp.examples.RCPSP
-
- sum(IntVar...) - Static method in class minicp.cp.Factory
-
Returns a variable representing
the sum of a given set of variables.
- sum(IntVar[], IntVar) - Static method in class minicp.cp.Factory
-
Returns a sum constraint.
- sum(IntVar[], int) - Static method in class minicp.cp.Factory
-
Returns a sum constraint.
- sum(int, IntVar...) - Static method in class minicp.cp.Factory
-
Returns a sum constraint.
- Sum - Class in minicp.engine.constraints
-
Sum Constraint
- Sum(IntVar[], IntVar) - Constructor for class minicp.engine.constraints.Sum
-
Creates a sum constraint.
- Sum(IntVar[], int) - Constructor for class minicp.engine.constraints.Sum
-
Creates a sum constraint.
- Sum(IntVar[]) - Constructor for class minicp.engine.constraints.Sum
-
Creates a sum constraint.