- call() - Method in interface minicp.util.Procedure
-
Calls the procedure
- 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.
- compute(int[]) - Method in class minicp.engine.constraints.MaximumMatching
-
- 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
-
- 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.StateLazySparseSet
-
Checks if a value is in the set.
- 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
-
- CopyBool - Class in minicp.state
-
Implementation of
StateBool with copy strategy
- 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
-
- 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.
- implem() - Method in class xcsp.XCSP
-
- 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 class minicp.state.CopyInt
-
- increment() - Method in interface minicp.state.StateInt
-
Increments the value
- increment() - Method in class minicp.state.TrailInt
-
- 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.
- 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 {@code {0,...
- IntVarImpl(Solver, int, int) - Constructor for class minicp.engine.core.IntVarImpl
-
Creates a variable with the elements {@code {min,...
- 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
-
- isActive() - Method in class minicp.engine.core.AbstractConstraint
-
- isActive() - Method in interface minicp.engine.core.Constraint
-
Returns the active status of the constraint.
- isBound() - Method in interface minicp.engine.core.IntDomain
-
Checks if the domain contains a single element.
- isBound() - Method in interface minicp.engine.core.IntVar
-
Returns true if the domain of the variable has a single value.
- isBound() - Method in class minicp.engine.core.IntVarImpl
-
- isBound() - Method in class minicp.engine.core.IntVarViewMul
-
- isBound() - Method in class minicp.engine.core.IntVarViewOffset
-
- isBound() - Method in class minicp.engine.core.IntVarViewOpposite
-
- isBound() - Method in class minicp.engine.core.SparseSetDomain
-
- isCompleted() - Method in class minicp.search.SearchStatistics
-
- isCOP() - Method in class xcsp.XCSP
-
- isEmpty() - Method in class minicp.state.StateInterval
-
Checks if the interval is empty.
- isEmpty() - Method in class minicp.state.StateLazySparseSet
-
- 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 bound to false
- isFalse() - Method in class minicp.engine.core.BoolVarImpl
-
- isFalse() - Method in class minicp.engine.core.BoolVarIsEqual
-
- 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.
- isTrue() - Method in interface minicp.engine.core.BoolVar
-
Tests if the variable is bound to true
- isTrue() - Method in class minicp.engine.core.BoolVarImpl
-
- isTrue() - Method in class minicp.engine.core.BoolVarIsEqual
-
- MagicSerie - Class in minicp.examples
-
The Magic Series problem.
- MagicSerie() - Constructor for class minicp.examples.MagicSerie
-
- MagicSquare - Class in minicp.examples
-
The Magic Square problem.
- MagicSquare() - Constructor for class minicp.examples.MagicSquare
-
- 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.MagicSquare
-
- main(String[]) - Static method in class minicp.examples.NQueens
-
- 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.RCPSP
-
- main(String[]) - Static method in class minicp.examples.StableMariage
-
- main(String[]) - Static method in class minicp.examples.Steel
-
- main(String[]) - Static method in class minicp.examples.TSP
-
- main(String[]) - Static method in class xcsp.XCSP
-
- 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
// 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!
- 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
- makeStateBool(boolean) - Method in class minicp.state.Copier
-
- makeStateBool(boolean) - Method in interface minicp.state.StateManager
-
Creates a Stateful boolean (restorable)
- makeStateBool(boolean) - Method in class minicp.state.Trailer
-
- 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
-
- 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() - Method in class minicp.state.StateInterval
-
Returns the maximum value in the interval.
- max() - Method in class minicp.state.StateLazySparseSet
-
Returns the maximum value in the set.
- 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],...
- 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
-
- 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.StateLazySparseSet
-
Returns the minimum value in the set.
- 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
- 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.
- RCPSP - Class in minicp.examples
-
Resource Constrained Project Scheduling Problem.
- RCPSP() - Constructor for class minicp.examples.RCPSP
-
- 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, 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.StateLazySparseSet
-
Removes the given value from the set.
- remove(int) - Method in class minicp.state.StateSparseSet
-
Removes the given value from the set.
- 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.StateLazySparseSet
-
Remove all the values larger than the given value from the set
- 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.StateLazySparseSet
-
Removes all the values in the set.
- 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.StateLazySparseSet
-
Removes all the element from the set except the given value.
- removeAllBut(int) - Method in class minicp.state.StateSparseSet
-
Removes all the element from the set except the given value.
- 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.StateLazySparseSet
-
Remove all the values less than the given value from the set
- 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
- restore() - Method in interface minicp.state.StateEntry
-
- restoreAllState() - Method in class minicp.state.Copier
-
Restores the state as it was at level 0 (first save)
The level is now -1.
- restoreAllState() - Method in interface minicp.state.StateManager
-
Restores the state as it was at level 0 (first saveState)
The level is now -1.
- restoreAllState() - Method in class minicp.state.Trailer
-
- 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
-
- save() - Method in class minicp.state.CopyBool
-
- save() - Method in class minicp.state.CopyInt
-
- 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.
- 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.
- 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
-
- 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.
- setValue(boolean) - Method in class minicp.state.CopyBool
-
- setValue(int) - Method in class minicp.state.CopyInt
-
- setValue(boolean) - Method in interface minicp.state.StateBool
-
Sets the value
- setValue(int) - Method in interface minicp.state.StateInt
-
Set the value
- setValue(boolean) - Method in class minicp.state.TrailBool
-
- setValue(int) - Method in class minicp.state.TrailInt
-
- ShortTableCT - Class in minicp.engine.constraints
-
Table constraint with short tuples (having * entries)
- ShortTableCT(IntVar[], int[][], int) - Constructor for class minicp.engine.constraints.ShortTableCT
-
Create a Table constraint with short tuples.
- ShortTableDecomp - Class in minicp.engine.constraints
-
Decomposition of table constraint with short tuples (having * entries)
- ShortTableDecomp(IntVar[], int[][], int) - Constructor for class minicp.engine.constraints.ShortTableDecomp
-
Table constraint.
- size() - Method in class minicp.engine.constraints.Profile
-
Return the number of rectangles in the profile.
- 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.StateLazySparseSet
-
- size() - Method in class minicp.state.StateSparseSet
-
Returns the size of the set.
- size() - Method in class minicp.state.StateStack
-
- 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.
- solve(int, int) - Method in class xcsp.XCSP
-
- solve(BiConsumer<String, Integer>, Function<SearchStatistics, Boolean>) - Method in class xcsp.XCSP
-
- 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
-
- StableMariage - Class in minicp.examples
-
Stable Marriage problem:
Given n men and n women, where each person has ranked makeIntVarArray members
of the opposite sex with a unique number between 1 and n in order of preference,
marry the men and women together such that there are no two people of opposite sex
who would both rather have each other than their current partners.
- StableMariage() - Constructor for class minicp.examples.StableMariage
-
- StateBool - 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(StateManager, int, int) - Constructor for class minicp.state.StateLazySparseSet
-
Creates a set containing the elements {@code {ofs,ofs+1,...
- 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
-
- StateSparseSet - Class in minicp.state
-
- StateSparseSet(StateManager, int, int) - Constructor for class minicp.state.StateSparseSet
-
Creates a set containing the elements {@code {ofs,ofs+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
-
- 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
- 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 - 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.