Index

A B C D E F G H I J L M N O P Q R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

abs(IntVar) - Static method in class minicp.cp.Factory

Computes a variable that is the absolute value of the given variable.

Absolute - Class in minicp.engine.constraints

Absolute value constraint

Absolute(IntVar, IntVar) - Constructor for class minicp.engine.constraints.Absolute

Creates the absolute value constraint y = |x|.

AbstractConstraint - Class in minicp.engine.core

Abstract class the most of the constraints should extend.

AbstractConstraint(Solver) - Constructor for class minicp.engine.core.AbstractConstraint

addListener(DFSListener) - Method in class minicp.search.DFSearch

addStop(int, int, boolean) - Method in class minicp.examples.DialARide.DialARideSolution

Add a stop on the path of a vehicle No need to add the last stop to the depot, it is implicit

addVisit(int) - Method in class minicp.examples.CostProfitTSP.CostProfitTSPSolution

addVisit(int) - Method in class minicp.examples.EBRP.EBRPSolution

set the last visited node in the current travel

after() - Method in class minicp.engine.constraints.DisjunctiveBinary

The boolean variable telling if activity 1 comes after activity 2

AircraftLanding - Class in minicp.examples

AircraftLanding() - Constructor for class minicp.examples.AircraftLanding

AircraftLanding.AircraftLandingInstance - Class in minicp.examples

An instance of the aircraft landing problem

AircraftLanding.AircraftLandingSolution - Class in minicp.examples

A solution to an aircraft landing instance.

AircraftLanding.Plane - Class in minicp.examples

A plane in the problem

AircraftLandingInstance(String) - Constructor for class minicp.examples.AircraftLanding.AircraftLandingInstance

AircraftLandingSolution(AircraftLanding.AircraftLandingInstance) - Constructor for class minicp.examples.AircraftLanding.AircraftLandingSolution

allDifferent(IntVar[]) - Static method in class minicp.cp.Factory

Returns a binary decomposition of the allDifferent constraint.

AllDifferentBinary - Class in minicp.engine.constraints

AllDifferentBinary(IntVar...) - Constructor for class minicp.engine.constraints.AllDifferentBinary

allDifferentDC(IntVar[]) - Static method in class minicp.cp.Factory

Returns an allDifferent constraint that enforces domain consistency.

AllDifferentDC - Class in minicp.engine.constraints

Arc Consistent AllDifferent Constraint Algorithm described in "A filtering algorithm for constraints of difference in CSPs" J-C.

AllDifferentDC(IntVar...) - Constructor for class minicp.engine.constraints.AllDifferentDC

AllDifferentFWC - Class in minicp.engine.constraints

Forward Checking filtering AllDifferent Constraint Whenever one variable is fixed, this value is removed from the domain of other variables.

AllDifferentFWC(IntVar...) - Constructor for class minicp.engine.constraints.AllDifferentFWC

and(Supplier<Procedure[]>...) - Static method in class minicp.cp.BranchingScheme

Sequential Search combinator that linearly considers a list of branching generator.

and(StateSparseBitSet.BitSet) - Method in class minicp.state.StateSparseBitSet

As for BitSet.and(java.util.BitSet): Performs a logical AND of this target bit set with the argument bit set.

and(StateSparseBitSet.BitSet) - Method in class minicp.state.StateSparseBitSet.MaskBitSet

As for BitSet.and(java.util.BitSet): Performs a logical AND of this target bit set with the argument bit set.

B

before() - Method in class minicp.engine.constraints.DisjunctiveBinary

The boolean variable telling if activity 1 comes before activity 2

BinPacking - Class in minicp.examples

BinPacking() - Constructor for class minicp.examples.BinPacking

BitSet() - Constructor for class minicp.state.StateSparseBitSet.BitSet

Initializes a bit-set with the same capacity as the outer StateSparseBitSet.

BoolVar - Interface in minicp.engine.core

Boolean variable, that can be used as a 0-1 IntVar

BoolVarImpl - Class in minicp.engine.core

BoolVarImpl(IntVar) - Constructor for class minicp.engine.core.BoolVarImpl

Create a boolean variable view from the binary variable

BoolVarImpl(Solver) - Constructor for class minicp.engine.core.BoolVarImpl

BoolVarIsEqual - Class in minicp.engine.core

BoolVarIsEqual(IntVar, int) - Constructor for class minicp.engine.core.BoolVarIsEqual

boundImpactValueSelector(IntVar, IntVar) - Static method in class minicp.examples.TSPBoundImpact

Fages, J.

branch(int, int, int, int) - Method in interface minicp.search.DFSListener

branch(Procedure...) - Static method in class minicp.cp.BranchingScheme

BRANCH - Enum constant in enum class minicp.util.io.cpprofilerbridge.Connector.NodeStatus

BranchingScheme - Class in minicp.cp

Factory for search procedures.

buildModel() - Method in class minicp.examples.Eternity

buildModel() - Method in class minicp.examples.JobShop

buildModel() - Method in class minicp.examples.OptimizationProblem

Creates a model for the optimization A CP model is composed of the variables + a search procedure This method should set the values for OptimizationProblem.objective and OptimizationProblem.dfs such that OptimizationProblem.solve() can be called afterwards

buildModel() - Method in class minicp.examples.QAP

buildModel() - Method in class minicp.examples.RCPSP

buildModel() - Method in class minicp.examples.SatisfactionProblem

Creates a model for the optimization A CP model is composed of the variables + a search procedure This method should set the values for SatisfactionProblem.dfs such that SatisfactionProblem.solve() can be called afterwards

buildModel() - Method in class minicp.examples.StableMatching

buildModel() - Method in class minicp.examples.Steel

buildModel() - Method in class minicp.examples.TSP

buildModel() - Method in class minicp.examples.VRP

buildProfile() - Method in class minicp.engine.constraints.Cumulative

bytesToString(byte[]) - Method in class minicp.util.io.cpprofilerbridge.Connector

C

c - Variable in class minicp.examples.Steel

call() - Method in interface minicp.util.Procedure

Calls the procedure

capa - Variable in class minicp.examples.RCPSP

capa - Variable in class minicp.examples.Steel

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 maximum value of the domain is lost.

changeMin() - Method in interface minicp.engine.core.DomainListener

Called whenever the minimum 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.AircraftLanding.AircraftLandingSolution

Resets this solution, so that this object can encode a new one

clear() - Method in class minicp.examples.CostProfitTSP.CostProfitTSPSolution

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.MaskBitSet

As for BitSet.clear(): Sets all the bits in this BitSet to false

clear() - Method in class minicp.util.io.cpprofilerbridge.Message

collect(int[][], int) - Method in class minicp.examples.JobShopInstance

collect(IntVar[][], int) - Method in class minicp.examples.JobShopInstance

Collect the variables related to the specified machine

company - Variable in class minicp.examples.StableMatching

companyPref - Variable in class minicp.examples.StableMatching

compareTo(DisjunctiveBinary) - Method in class minicp.engine.constraints.DisjunctiveBinary

A comparator by increasing slack value

compute() - Method in class minicp.examples.AircraftLanding.AircraftLandingSolution

Gives the cost of a solution and throws a RuntimeException if the solution is invalid

compute() - Method in class minicp.examples.CostProfitTSP.CostProfitTSPSolution

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

compute(int[]) - Method in class minicp.engine.constraints.MaximumMatching

Computes the maximum matching over the variables MaximumMatching.x Stores within the results array the value to which a variable is matched

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 Class 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

CostProfitTSP - Class in minicp.examples

CostProfitTSP() - Constructor for class minicp.examples.CostProfitTSP

CostProfitTSP.CostProfitTSPInstance - Class in minicp.examples

CostProfitTSP.CostProfitTSPSolution - Class in minicp.examples

A solution to an CostProfitTSP instance

CostProfitTSPInstance(String) - Constructor for class minicp.examples.CostProfitTSP.CostProfitTSPInstance

CostProfitTSPSolution(CostProfitTSP.CostProfitTSPInstance) - Constructor for class minicp.examples.CostProfitTSP.CostProfitTSPSolution

cp - Variable in class minicp.examples.Steel

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.

D

d - Variable in class minicp.examples.Eternity

deadline - Variable in class minicp.examples.AircraftLanding.Plane

decrement() - Method in interface minicp.state.StateInt

Decrements the value

depot - Variable in class minicp.examples.DialARide.DialARideSolution

DEPOT - Static variable in class minicp.examples.EBRP

dest - Variable in class minicp.engine.constraints.Circuit

detectablePrecedence() - Method in class minicp.engine.constraints.Disjunctive

dfs - Variable in class minicp.examples.OptimizationProblem

dfs - Variable in class minicp.examples.SatisfactionProblem

DFSearch - Class in minicp.search

Depth First Search Branch and Bound implementation

DFSearch(StateManager, Supplier<Procedure[]>) - Constructor for class minicp.search.DFSearch

Creates a Depth First Search object with a given branching that defines the search tree dynamically.

DFSListener - Interface in minicp.search

DialARide - Class in minicp.examples

DialARide() - Constructor for class minicp.examples.DialARide

DialARide.DialARideSolution - Class in minicp.examples

A solution.

DialARideSolution(int, ArrayList<DialARide.RideStop>, ArrayList<DialARide.RideStop>, DialARide.RideStop, int, int, int) - Constructor for class minicp.examples.DialARide.DialARideSolution

disconnect() - Method in class minicp.util.io.cpprofilerbridge.Connector

Disjunctive - Class in minicp.engine.constraints

Disjunctive Scheduling Constraint: Any two pairs of activities cannot overlap in time.

Disjunctive(IntVar[], int[]) - Constructor for class minicp.engine.constraints.Disjunctive

Creates a disjunctive constraint that enforces that for any two pair i,j of activities we have start[i]+duration[i] <= start[j] or start[j]+duration[j] <= start[i].

DisjunctiveBinary - Class in minicp.engine.constraints

Constraint enforcing that two activities cannot overlap in time The implementation of this constraint uses reified constraints.

DisjunctiveBinary(IntVar, int, IntVar, int) - Constructor for class minicp.engine.constraints.DisjunctiveBinary

Constraint enforcing that two activities cannot overlap

distance(int, int) - Method in class minicp.examples.EBRP.EBRPInstance

give the distance between two nodes

distance(DialARide.RideStop, DialARide.RideStop) - Static method in class minicp.examples.DialARide

Returns the distance between two ride stops

distanceMatrix - Variable in class minicp.examples.TSP

distanceMatrix - Variable in class minicp.examples.VRP

distances - Variable in class minicp.examples.EBRP.EBRPInstance

distances - Variable in class minicp.examples.QAP

DomainListener - Interface in minicp.engine.core

Domain listeners are passed as argument to the IntDomain modifier methods.

DONE - Enum constant in enum class minicp.util.io.cpprofilerbridge.Message.MsgType

dropRideStops - Variable in class minicp.examples.DialARide.DialARideSolution

duration - Variable in class minicp.examples.RCPSP

E

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

create a solution to a EBRP instance the visit order is added through EBRP.EBRPSolution.addVisit(int) or EBRP.EBRPSolution.setVisitOrder(int[])

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.

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.

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() - Method in interface minicp.engine.core.DomainListener

Called whenever the domain becomes empty.

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.

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(boolean, String) - Constructor for class minicp.examples.Eternity

Eternity(String) - Constructor for class minicp.examples.Eternity

Example - Class in minicp.util.io.cpprofilerbridge

Example() - Constructor for class minicp.util.io.cpprofilerbridge.Example

F

Factory - Class in minicp.cp

Factory to create Solver, IntVar, Constraint and some modeling utility methods.

fail(int, int, int) - Method in interface minicp.search.DFSListener

FAILED - Enum constant in enum class minicp.util.io.cpprofilerbridge.Connector.NodeStatus

fillArray(int[]) - Method in class minicp.engine.core.BoolVarImpl

fillArray(int[]) - Method in interface minicp.engine.core.IntDomain

Copies the values of the domain into an array.

fillArray(int[]) - Method in interface minicp.engine.core.IntVar

Copies the values of the domain into an array.

fillArray(int[]) - Method in class minicp.engine.core.IntVarImpl

fillArray(int[]) - Method in class minicp.engine.core.IntVarViewMul

fillArray(int[]) - Method in class minicp.engine.core.IntVarViewOffset

fillArray(int[]) - Method in class minicp.engine.core.IntVarViewOpposite

fillArray(int[]) - Method in class minicp.engine.core.SparseSetDomain

fillArray(int[]) - Method in class minicp.state.StateInterval

Sets the first values of dest to the ones present in the interval.

fillArray(int[]) - Method in class minicp.state.StateSparseSet

Sets the first values of dest to the ones present in the set.

fillInStackTrace() - Method in exception class minicp.util.exception.InconsistencyException

Forbid the JVM to produce a stack trace each time an InconsistencyException is thrown.

fillInStackTrace() - Method in exception class minicp.util.exception.InvalidSolutionException

Forbid the JVM to produce a stack trace each time an InvalidSolutionException is thrown.

findAll(int, int, int, int, ArrayList<DialARide.RideStop>, ArrayList<DialARide.RideStop>, DialARide.RideStop) - Static method in class minicp.examples.DialARide

findAll(AircraftLanding.AircraftLandingInstance) - Method in class minicp.examples.AircraftLanding

Function that list all feasible solutions to an instance.

findAll(CostProfitTSP.CostProfitTSPInstance) - Method in class minicp.examples.CostProfitTSP

Function that list all feasible solutions to an instance.

firstFail(IntVar...) - Static method in class minicp.cp.BranchingScheme

First-Fail strategy.

firstIndexNotBound(IntVar[]) - Static method in class minicp.examples.BinPacking

fix() - Method in interface minicp.engine.core.DomainListener

Called whenever the domain becomes a single value.

fix(boolean) - Method in interface minicp.engine.core.BoolVar

Assigns the variable.

fix(boolean) - Method in class minicp.engine.core.BoolVarImpl

fix(boolean) - Method in class minicp.engine.core.BoolVarIsEqual

fix(int) - Method in class minicp.engine.constraints.Circuit

fix(int) - Method in class minicp.engine.core.BoolVarImpl

fix(int) - Method in interface minicp.engine.core.IntVar

Fix the specified value

fix(int) - Method in class minicp.engine.core.IntVarImpl

fix(int) - Method in class minicp.engine.core.IntVarViewMul

fix(int) - Method in class minicp.engine.core.IntVarViewOffset

fix(int) - Method in class minicp.engine.core.IntVarViewOpposite

fixPoint() - Method in class minicp.engine.core.MiniCP

fixPoint() - Method in interface minicp.engine.core.Solver

Computes the fix-point with all the scheduled constraints.

flatten(IntVar[][]) - Static method in class minicp.examples.Eternity

flatten(IntVar[][]) - Static method in class minicp.examples.JobShop

fromFile(String) - Static method in class minicp.examples.EBRP.EBRPInstance

create an instance from a file

G

g - Variable in class minicp.engine.constraints.AllDifferentDC

get() - Method in class minicp.search.LimitedDiscrepancyBranching

get() - Method in class minicp.search.Sequencer

get(int) - Method in class minicp.engine.constraints.Profile

get(int) - Method in class minicp.state.StateSparseBitSet.BitSet

As for the BitSet.get(int) Gives the bit at the specified index

get(int) - Method in class minicp.state.StateSparseBitSet

As for the BitSet.get(int) Gives the bit at the specified index

get(int) - Method in class minicp.state.StateStack

get(K) - Method in class minicp.state.CopyMap

get(K) - Method in interface minicp.state.StateMap

Retrieves the value for a given key.

get(K) - Method in class minicp.state.TrailMap

getEarliest() - Method in class minicp.examples.EBRP.TimeWindow

getECT() - Method in class minicp.engine.constraints.ThetaTree

The earliest completion time of the activities present in the theta-tree

getFilename() - Method in class minicp.util.io.InputReader

getInt() - Method in class minicp.util.io.InputReader

getIntLine() - Method in class minicp.util.io.InputReader

getLatest() - Method in class minicp.examples.EBRP.TimeWindow

getLevel() - Method in class minicp.state.Copier

getLevel() - Method in interface minicp.state.StateManager

Returns the current level.

getLevel() - Method in class minicp.state.Trailer

getMagic() - Method in class minicp.state.Trailer

getMatrix(int, int) - Method in class minicp.util.io.InputReader

getNSolutions() - Method in class minicp.examples.SatisfactionProblem

getNumber() - Method in enum class minicp.util.io.cpprofilerbridge.Connector.NodeStatus

getNumber() - Method in enum class minicp.util.io.cpprofilerbridge.Message.MsgType

getNumber() - Method in enum class minicp.util.io.cpprofilerbridge.Message.OptionalArgs

getPlane(int) - Method in class minicp.examples.AircraftLanding.AircraftLandingInstance

getSolver() - Method in class minicp.engine.core.AbstractConstraint

getSolver() - Method in class minicp.engine.core.BoolVarImpl

getSolver() - Method in interface minicp.engine.core.IntVar

Returns the solver in which this variable was created.

getSolver() - Method in class minicp.engine.core.IntVarImpl

getSolver() - Method in class minicp.engine.core.IntVarViewMul

getSolver() - Method in class minicp.engine.core.IntVarViewOffset

getSolver() - Method in class minicp.engine.core.IntVarViewOpposite

getStateManager() - Method in class minicp.engine.core.MiniCP

getStateManager() - Method in interface minicp.engine.core.Solver

Returns the state manager in charge of the global state of the solver.

getString() - Method in class minicp.util.io.InputReader

GraphUtil - Class in minicp.util

Algorithms and Graph interface

GraphUtil() - Constructor for class minicp.util.GraphUtil

GraphUtil.Graph - Interface in minicp.util

Directed graph API

H

hasChanged(int) - Method in class minicp.engine.constraints.TableCT

Tells if a variable x[i] has been modified since the last call node in the search tree Uses the value of TableCT.lastDomSize to verify if the domain size has changed since the last propagation

horizon - Variable in class minicp.examples.RCPSP

I

id - Variable in class minicp.examples.Eternity

in(int) - Method in interface minicp.util.GraphUtil.Graph

Returns the incoming node indices in the specified node

INCONSISTENCY - Static variable in exception class minicp.util.exception.InconsistencyException

InconsistencyException - Exception Class in minicp.util.exception

InconsistencyException() - Constructor for exception class 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

INFO - Enum constant in enum class minicp.util.io.cpprofilerbridge.Message.OptionalArgs

initalNodes - Variable in class minicp.examples.VRP

initialDistanceMatrix - Variable in class minicp.examples.VRP

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.

inSlab - Variable in class minicp.examples.Steel

instance - Variable in class minicp.examples.AircraftLanding.AircraftLandingSolution

instance - Variable in class minicp.examples.Steel

IntDomain - Interface in minicp.engine.core

Interface for integer domain implementation.

intersects(StateSparseBitSet.SupportBitSet) - Method in class minicp.state.StateSparseBitSet

As for the BitSet.intersects(java.util.BitSet) function: Returns true if the specified StateSparseBitSet.SupportBitSet has any bits set to true that are also set to true in this StateSparseBitSet.

intersectsResidueOnly(StateSparseBitSet.SupportBitSet) - Method in class minicp.state.StateSparseBitSet

Returns true if, for the given StateSparseBitSet.words id stored in by the StateSparseBitSet.SupportBitSet.residue of the specified StateSparseBitSet.SupportBitSet bs, bs has any bits set to true that are also set to true in the corresponding StateSparseBitSet.words of this BitSet.

IntOverFlowException - Exception Class in minicp.util.exception

IntOverFlowException(String) - Constructor for exception class minicp.util.exception.IntOverFlowException

IntVar - Interface in minicp.engine.core

IntVarImpl - Class in minicp.engine.core

Implementation of a variable with a SparseSetDomain.

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 Class in minicp.util.exception

InvalidSolutionException(String) - Constructor for exception class 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

As for the BitSet.isEmpty() function: Returns true if this BitSet contains no bits that are set to true.

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.constraints.DisjunctiveBinary

Tells if the decision of which activity should come first as already been fixed

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

J

JobShop - Class in minicp.examples

The JobShop Problem.

JobShop(String) - Constructor for class minicp.examples.JobShop

JobShopInstance - Class in minicp.examples

JobShopInstance(String) - Constructor for class minicp.examples.JobShopInstance

Read the job-shop instance from the specified file

L

l - Variable in class minicp.examples.Eternity

l - Variable in class minicp.examples.Steel

LABEL - Enum constant in enum class minicp.util.io.cpprofilerbridge.Message.OptionalArgs

landPlane(int, int, int) - Method in class minicp.examples.AircraftLanding.AircraftLandingSolution

Encodes the landing of a plane in a solution.

lanes - Variable in class minicp.examples.AircraftLanding.AircraftLandingSolution

largerOrEqual(IntVar, int) - Static method in class minicp.cp.Factory

Returns a constraint imposing that the variable larger or equal to some given value.

largerOrEqual(IntVar, IntVar) - Static method in class minicp.cp.Factory

Returns a constraint imposing that the a first variable is larger or equal to a second one.

lastConflict(Supplier<IntVar>, Function<IntVar, Integer>) - Static method in class minicp.cp.BranchingScheme

Last conflict heuristic Attempts to branch first on the last variable that caused an Inconsistency Lecoutre, C., Saïs, L., Tabary, S., Vidal, V.

lengthToDest - Variable in class minicp.engine.constraints.Circuit

lessOrEqual(IntVar, int) - Static method in class minicp.cp.Factory

Returns a constraint imposing that the variable less or equal to some given value.

lessOrEqual(IntVar, IntVar) - Static method in class minicp.cp.Factory

Returns a constraint imposing that the a first variable is less or equal to a second one.

LessOrEqual - Class in minicp.engine.constraints

Less or equal constraint between two variables

LessOrEqual(IntVar, IntVar) - Constructor for class minicp.engine.constraints.LessOrEqual

limitedDiscrepancy(Supplier<Procedure[]>, int) - Static method in class minicp.cp.BranchingScheme

Limited Discrepancy Search combinator that limits the number of right decisions

LimitedDiscrepancyBranching - Class in minicp.search

Branching combinator that ensures that that the alternatives created are always within the discrepancy limit.

LimitedDiscrepancyBranching(Supplier<Procedure[]>, int) - Constructor for class minicp.search.LimitedDiscrepancyBranching

Creates a discprepancy combinator on a given branching.

lns(boolean, Predicate<Integer>) - Method in class minicp.examples.TSP

Performs a large neighborhood search

lns(long) - Method in class minicp.examples.TSP

loss - Variable in class minicp.examples.Steel

M

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.AircraftLanding

main(String[]) - Static method in class minicp.examples.BinPacking

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.examples.VRP

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(int, Function<Integer, IntVar>) - Static method in class minicp.cp.Factory

Creates an array of variables with specified lambda function

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.

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

MaskBitSet() - Constructor for class minicp.state.StateSparseBitSet.MaskBitSet

Initializes a bit-set with the same capacity as the outer StateSparseBitSet.

max - Variable in class minicp.examples.Eternity

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() - 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.

maxBound(IntVar[]) - Static method in class minicp.examples.BinPacking

maxCapa - Variable in class minicp.examples.Steel

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 Class in minicp.util.io.cpprofilerbridge

Message.OptionalArgs - Enum Class 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

Exceptions used in minicp

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(IntVar) - Method in interface minicp.engine.core.Solver

Creates a minimization objective on the given variable.

Minimize - Class in minicp.engine.core

Minimization objective function

Minimize(IntVar) - Constructor for class minicp.engine.core.Minimize

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.

N

n - Variable in class minicp.examples.Eternity

n - Variable in class minicp.examples.QAP

n - Variable in class minicp.examples.StableMatching

n - Variable in class minicp.examples.TSP

n - Variable in class minicp.examples.VRP

n() - Method in interface minicp.util.GraphUtil.Graph

Returns the number of nodes in this graph.

nActivities - Variable in class minicp.examples.RCPSP

nCapa - Variable in class minicp.examples.Steel

nCol - Variable in class minicp.examples.Steel

nLanes - Variable in class minicp.examples.AircraftLanding.AircraftLandingInstance

nNodes - Variable in class minicp.examples.EBRP.EBRPInstance

NODE - Enum constant in enum class minicp.util.io.cpprofilerbridge.Message.MsgType

NOGOOD - Enum constant in enum class minicp.util.io.cpprofilerbridge.Message.OptionalArgs

NONE - Static variable in class minicp.engine.constraints.MaximumMatching

nOrder - Variable in class minicp.examples.Steel

not(BoolVar) - Static method in class minicp.cp.Factory

A boolean variable that is a view of !b.

notEqual(IntVar, int) - Static method in class minicp.cp.Factory

Returns a constraint imposing that the variable is different from some given value.

notEqual(IntVar, IntVar) - Static method in class minicp.cp.Factory

Returns a constraint imposing that the two different variables must take different values.

notEqual(IntVar, IntVar, int) - Static method in class minicp.cp.Factory

Returns a constraint imposing that the the first variable differs from the second one minus a constant value.

NotEqual - Class in minicp.engine.constraints

Not Equal constraint between two variables

NotEqual(IntVar, IntVar) - Constructor for class minicp.engine.constraints.NotEqual

Creates a constraint such that x != y

NotEqual(IntVar, IntVar, int) - Constructor for class minicp.engine.constraints.NotEqual

Creates a constraint such that x != y + v

NotImplementedException - Exception Class in minicp.util.exception

NotImplementedException() - Constructor for exception class minicp.util.exception.NotImplementedException

NotImplementedException(String) - Constructor for exception class minicp.util.exception.NotImplementedException

notLast() - Method in class minicp.engine.constraints.Disjunctive

nPlanes - Variable in class minicp.examples.AircraftLanding.AircraftLandingInstance

NQueens - Class in minicp.examples

The N-Queens problem.

NQueens() - Constructor for class minicp.examples.NQueens

NQueensPaper - Class in minicp.examples

The N-Queens problem.

NQueensPaper() - Constructor for class minicp.examples.NQueensPaper

NQueensVisuTree - Class in minicp.examples

The N-Queens problem.

NQueensVisuTree() - Constructor for class minicp.examples.NQueensVisuTree

nResources - Variable in class minicp.examples.RCPSP

nSlab - Variable in class minicp.examples.Steel

nTypes - Variable in class minicp.examples.AircraftLanding.AircraftLandingInstance

numberOfFailures() - Method in class minicp.search.SearchStatistics

numberOfNodes() - Method in class minicp.search.SearchStatistics

numberOfSolutions() - Method in class minicp.search.SearchStatistics

nVehicle - Variable in class minicp.examples.VRP

O

objective - Variable in class minicp.examples.OptimizationProblem

Objective - Interface in minicp.search

Objective object to be used in the DFSearch.optimize(Objective) for implementing the branch and bound depth first search.

onFailure(Procedure) - Method in class minicp.search.DFSearch

Adds a listener that is called whenever a failure occurs and the search backtracks.

onFixPoint(Procedure) - Method in class minicp.engine.core.MiniCP

onFixPoint(Procedure) - Method in interface minicp.engine.core.Solver

Adds a listener called whenever the fix-point.

onRestore(Procedure) - Method in class minicp.state.Copier

onRestore(Procedure) - Method in interface minicp.state.StateManager

Add a listener that is notified each time the StateManager.restoreState() is called.

onRestore(Procedure) - Method in class minicp.state.Trailer

onSolution(Procedure) - Method in class minicp.search.DFSearch

Adds a listener that is called on each solution.

OptimizationProblem - Class in minicp.examples

OptimizationProblem() - Constructor for class minicp.examples.OptimizationProblem

optimize(Objective) - Method in class minicp.search.DFSearch

Effectively start a branch and bound depth first search with a given objective.

optimize(Objective, Predicate<SearchStatistics>) - Method in class minicp.search.DFSearch

Effectively start a branch and bound depth first search with a given objective and with a given predicate called at each node to stop the search when it becomes true.

optimizeSubjectTo(Objective, Predicate<SearchStatistics>, Procedure) - Method in class minicp.search.DFSearch

Executes a closure prior to effectively starting a branch and bound depth first search with a given objective to optimize and a given predicate called at each node to stop the search when it becomes true.

or(StateSparseBitSet.BitSet) - Method in class minicp.state.StateSparseBitSet.MaskBitSet

As for BitSet.or(java.util.BitSet): Performs a logical OR of this bit set with the bit set argument.

Or - Class in minicp.engine.constraints

Logical or constraint x1 or x2 or ... xn

Or(BoolVar[]) - Constructor for class minicp.engine.constraints.Or

Creates a logical or constraint: at least one variable is true: x1 or x2 or ... xn

orig - Variable in class minicp.engine.constraints.Circuit

out(int) - Method in interface minicp.util.GraphUtil.Graph

Returns the outgoing node indices from the specified node

overLoadChecker() - Method in class minicp.engine.constraints.Disjunctive

P

pathExists(GraphUtil.Graph, int, int) - Static method in class minicp.util.GraphUtil

Checks if a path exists between start and end

pickupRideStops - Variable in class minicp.examples.DialARide.DialARideSolution

pieces - Variable in class minicp.examples.Eternity

Plane(int, int, int) - Constructor for class minicp.examples.AircraftLanding.Plane

planes - Variable in class minicp.examples.AircraftLanding.AircraftLandingInstance

plus(IntVar, int) - Static method in class minicp.cp.Factory

A variable that is a view of x+v.

post() - Method in class minicp.engine.constraints.Absolute

post() - Method in class minicp.engine.constraints.AllDifferentBinary

post() - Method in class minicp.engine.constraints.AllDifferentDC

post() - Method in class minicp.engine.constraints.AllDifferentFWC

post() - Method in class minicp.engine.constraints.Circuit

post() - Method in class minicp.engine.constraints.Cumulative

post() - Method in class minicp.engine.constraints.CumulativeDecomposition

post() - Method in class minicp.engine.constraints.Disjunctive

post() - Method in class minicp.engine.constraints.DisjunctiveBinary

post() - Method in class minicp.engine.constraints.Element1D

post() - Method in class minicp.engine.constraints.Element1DDomainConsistent

post() - Method in class minicp.engine.constraints.Element1DVar

post() - Method in class minicp.engine.constraints.Element2D

post() - Method in class minicp.engine.constraints.Equal

post() - Method in class minicp.engine.constraints.IsEqual

post() - Method in class minicp.engine.constraints.IsLessOrEqual

post() - Method in class minicp.engine.constraints.IsLessOrEqualVar

post() - Method in class minicp.engine.constraints.IsOr

post() - Method in class minicp.engine.constraints.LessOrEqual

post() - Method in class minicp.engine.constraints.Maximum

post() - Method in class minicp.engine.constraints.NotEqual

post() - Method in class minicp.engine.constraints.Or

post() - Method in class minicp.engine.constraints.Sum

post() - Method in class minicp.engine.constraints.TableCT

post() - Method in class minicp.engine.constraints.TableDecomp

post() - Method in class minicp.engine.core.AbstractConstraint

post() - Method in interface minicp.engine.core.Constraint

Initializes the constraint when it is posted to the solver.

post() - Method in class minicp.engine.core.ConstraintClosure

post(BoolVar) - Method in class minicp.engine.core.MiniCP

post(BoolVar) - Method in interface minicp.engine.core.Solver

Forces the boolean variable to be true and then computes the fix-point.

post(Constraint) - Method in class minicp.engine.core.MiniCP

post(Constraint) - Method in interface minicp.engine.core.Solver

Posts the constraint, that is call Constraint.post() and computes the fix-point.

post(Constraint, boolean) - Method in class minicp.engine.core.MiniCP

post(Constraint, boolean) - Method in interface minicp.engine.core.Solver

Posts the constraint that is call Constraint.post() and optionally computes the fix-point.

print() - Method in exception class minicp.util.exception.NotImplementedException

printSolutionFound() - Method in class minicp.examples.Eternity

Prints a solution when it is found

Procedure - Interface in minicp.util

The void function with no argument does not exist in java.util.function, therefore this interface is used in minicp.

Profile - Class in minicp.engine.constraints

Representation of a cumulated Profile data structure as a contiguous sequence of Profile.Rectangle built from a set of Profile.Rectangle using a sweep-line algorithm.

Profile(Profile.Rectangle...) - Constructor for class minicp.engine.constraints.Profile

propagate() - Method in class minicp.engine.constraints.Absolute

propagate() - Method in class minicp.engine.constraints.AllDifferentDC

propagate() - Method in class minicp.engine.constraints.AllDifferentFWC

propagate() - Method in class minicp.engine.constraints.Cumulative

propagate() - Method in class minicp.engine.constraints.Disjunctive

propagate() - Method in class minicp.engine.constraints.Element1D

propagate() - Method in class minicp.engine.constraints.Element1DVar

propagate() - Method in class minicp.engine.constraints.Element2D

propagate() - Method in class minicp.engine.constraints.IsEqual

propagate() - Method in class minicp.engine.constraints.IsLessOrEqualVar

propagate() - Method in class minicp.engine.constraints.IsOr

propagate() - Method in class minicp.engine.constraints.LessOrEqual

propagate() - Method in class minicp.engine.constraints.Maximum

propagate() - Method in class minicp.engine.constraints.NotEqual

propagate() - Method in class minicp.engine.constraints.Or

propagate() - Method in class minicp.engine.constraints.Sum

propagate() - Method in class minicp.engine.constraints.TableCT

propagate() - Method in class minicp.engine.constraints.TableDecomp

propagate() - Method in class minicp.engine.core.AbstractConstraint

propagate() - Method in interface minicp.engine.core.Constraint

Propagates the constraint.

propagate() - Method in class minicp.engine.core.ConstraintClosure

propagateOnBoundChange(Constraint) - Method in class minicp.engine.core.BoolVarImpl

propagateOnBoundChange(Constraint) - Method in interface minicp.engine.core.IntVar

Asks that Constraint.propagate() is called whenever the bound (maximum or minimum values) of the domain of this variable is changes.

propagateOnBoundChange(Constraint) - Method in class minicp.engine.core.IntVarImpl

propagateOnBoundChange(Constraint) - Method in class minicp.engine.core.IntVarViewMul

propagateOnBoundChange(Constraint) - Method in class minicp.engine.core.IntVarViewOffset

propagateOnBoundChange(Constraint) - Method in class minicp.engine.core.IntVarViewOpposite

propagateOnDomainChange(Constraint) - Method in class minicp.engine.core.BoolVarImpl

propagateOnDomainChange(Constraint) - Method in interface minicp.engine.core.IntVar

Asks that Constraint.propagate() is called whenever the domain of this variable changes.

propagateOnDomainChange(Constraint) - Method in class minicp.engine.core.IntVarImpl

propagateOnDomainChange(Constraint) - Method in class minicp.engine.core.IntVarViewMul

propagateOnDomainChange(Constraint) - Method in class minicp.engine.core.IntVarViewOffset

propagateOnDomainChange(Constraint) - Method in class minicp.engine.core.IntVarViewOpposite

propagateOnFix(Constraint) - Method in class minicp.engine.core.BoolVarImpl

propagateOnFix(Constraint) - Method in interface minicp.engine.core.IntVar

Asks that Constraint.propagate() is called whenever the domain of this variable is reduced to a singleton.

propagateOnFix(Constraint) - Method in class minicp.engine.core.IntVarImpl

propagateOnFix(Constraint) - Method in class minicp.engine.core.IntVarViewMul

propagateOnFix(Constraint) - Method in class minicp.engine.core.IntVarViewOffset

propagateOnFix(Constraint) - Method in class minicp.engine.core.IntVarViewOpposite

push(E) - Method in class minicp.state.StateStack

pushState(StateEntry) - Method in class minicp.state.Trailer

put(K, V) - Method in class minicp.state.CopyMap

put(K, V) - Method in interface minicp.state.StateMap

Inserts the key-value pair.

put(K, V) - Method in class minicp.state.TrailMap

Q

QAP - Class in minicp.examples

The Quadratic Assignment problem.

QAP(String) - Constructor for class minicp.examples.QAP

QAPLNS - Class in minicp.examples

The Quadratic Assignment problem.

QAPLNS() - Constructor for class minicp.examples.QAPLNS

QAPPaper - Class in minicp.examples

The Quadratic Assignment problem.

QAPPaper() - Constructor for class minicp.examples.QAPPaper

R

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) - 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) - Method in class minicp.state.StateSparseSet

Removes the given value from the set.

remove(int, DomainListener) - Method in interface minicp.engine.core.IntDomain

Removes a value from the domain and notifies appropriately the listener.

remove(int, DomainListener) - Method in class minicp.engine.core.SparseSetDomain

removeAbove(int) - Method in class minicp.engine.core.BoolVarImpl

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) - 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

removeAbove(int, DomainListener) - Method in interface minicp.engine.core.IntDomain

Removes every value larger than the specified value from the domain.

removeAbove(int, DomainListener) - Method in class minicp.engine.core.SparseSetDomain

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) - 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.

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

removeBelow(int) - Method in class minicp.engine.core.BoolVarImpl

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) - 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

removeBelow(int, DomainListener) - Method in interface minicp.engine.core.IntDomain

Removes every value less than the specified value from the domain.

removeBelow(int, DomainListener) - Method in class minicp.engine.core.SparseSetDomain

reset() - Method in class minicp.engine.constraints.ThetaTree

Remove all the activities from this theta-tree

resetNSolutions() - Method in class minicp.examples.SatisfactionProblem

residue - Variable in class minicp.state.StateSparseBitSet.SupportBitSet

restart(int) - Method in class minicp.util.io.cpprofilerbridge.Connector

restart(String, int) - Method in class minicp.util.io.cpprofilerbridge.Connector

RESTART - Enum constant in enum class minicp.util.io.cpprofilerbridge.Message.MsgType

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

S

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

Statistics collected during the execution of DFSearch.solve() and DFSearch.optimize(Objective)

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

As for the BitSet.set(int) Sets the bit at the specified index to true

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

SKIPPED - Enum constant in enum class minicp.util.io.cpprofilerbridge.Connector.NodeStatus

slack() - Method in class minicp.engine.constraints.DisjunctiveBinary

The total slack (estimation of degree of freedom)

slackIfAfter() - Method in class minicp.engine.constraints.DisjunctiveBinary

The total slack if activity 1 would be placed after activity 2

slackIfBefore() - Method in class minicp.engine.constraints.DisjunctiveBinary

The total slack if activity 1 would be placed before activity 2

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() - Method in class minicp.examples.OptimizationProblem

Runs the full search defined in the OptimizationProblem.dfs

solve() - Method in class minicp.examples.SatisfactionProblem

Runs the full search defined in the SatisfactionProblem.dfs

solve() - Method in class minicp.search.DFSearch

Effectively start a depth first search looking for every solution.

solve(boolean) - Method in class minicp.examples.OptimizationProblem

Runs the full search defined in the OptimizationProblem.dfs and possibly prints each found solution

solve(boolean) - Method in class minicp.examples.SatisfactionProblem

Runs the full search defined in the SatisfactionProblem.dfs and possibly prints each found solution

solve(boolean, Predicate<SearchStatistics>) - Method in class minicp.examples.OptimizationProblem

Runs the search defined in the OptimizationProblem.dfs and possibly prints each found solution

solve(boolean, Predicate<SearchStatistics>) - Method in class minicp.examples.SatisfactionProblem

Runs the search defined in the SatisfactionProblem.dfs and possibly prints each found solution

solve(boolean, Predicate<SearchStatistics>) - Method in class minicp.examples.StableMatching

solve(boolean, Predicate<SearchStatistics>) - Method in class minicp.examples.Steel

solve(int, int, int, int, ArrayList<DialARide.RideStop>, ArrayList<DialARide.RideStop>, DialARide.RideStop) - Static method in class minicp.examples.DialARide

solve(Predicate<SearchStatistics>) - Method in class minicp.examples.OptimizationProblem

Runs the search defined in the OptimizationProblem.dfs

solve(Predicate<SearchStatistics>) - Method in class minicp.examples.SatisfactionProblem

Runs the search defined in the SatisfactionProblem.dfs and possibly prints each found 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(AircraftLanding.AircraftLandingInstance) - Static method in class minicp.examples.AircraftLanding

Main function that provides a solution to an instance

solve(CostProfitTSP.CostProfitTSPInstance) - Static method in class minicp.examples.CostProfitTSP

Main function that provides a solution to an instance

solve(EBRP.EBRPInstance) - Static method in class minicp.examples.EBRP

TODO given an instance EBRP.EBRPInstance to solve (a number of nodes, distance between them and their time windows EBRP.TimeWindow), give the order of visit of each nodes minimizing the traveled distance of the Bell use EBRP.EBRPInstance.distances or EBRP.EBRPInstance.distance(int, int) to compute distances the Bell can arrive at a node n before the beginning of its time window EBRP.TimeWindow.getEarliest() if this is the case, the departure occurs at the beginning of its time window the depot is always located at node 0 EBRP.DEPOT and has the longest time window

SOLVED - Enum constant in enum class minicp.util.io.cpprofilerbridge.Connector.NodeStatus

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

START - Enum constant in enum class minicp.util.io.cpprofilerbridge.Message.MsgType

State<T> - Interface in minicp.state

Object that wraps a reference and can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

StateEntry - Interface in minicp.state

A StateEntry is aimed to be stored by a StateManager to revert some state

StateInt - Interface in minicp.state

Object that wraps an integer value that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

StateInterval - Class in minicp.state

Implementation of an interval that can saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

StateInterval(StateManager, int, int) - Constructor for class minicp.state.StateInterval

Creates an interval that can be saved and restored with the StateManager.saveState() / StateManager.restoreState() methods.

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

A generic map that can revert its state with StateManager.saveState() / StateManager.restoreState() methods.

StateSparseBitSet - Class in minicp.state

Class to represent a bit-set that can be saved and restored through the StateManager.saveState() / StateManager.restoreState()

StateSparseBitSet(StateManager, int) - Constructor for class minicp.state.StateSparseBitSet

Creates a StateSparseSet with n bits, initially all set

StateSparseBitSet.BitSet - Class in minicp.state

Bitset of the same capacity as the outer StateSparseBitSet.

StateSparseBitSet.MaskBitSet - Class in minicp.state

StateSparseBitSet.SupportBitSet - Class in minicp.state

StateSparseSet - Class in minicp.state

Set implemented using a sparse-set data structure that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

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

Generic Stack that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

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(String) - Constructor for class minicp.examples.Steel

stops - Variable in class minicp.examples.DialARide.DialARideSolution

StopSearchException - Exception Class in minicp.search

Exception that is thrown to stop the execution of DFSearch.solve(), DFSearch.optimize(Objective)

StopSearchException() - Constructor for exception class 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

succ - Variable in class minicp.examples.VRP

successors - Variable in class minicp.examples.RCPSP

sum(int, IntVar...) - Static method in class minicp.cp.Factory

Returns a sum constraint.

sum(IntVar...) - Static method in class minicp.cp.Factory

Returns a variable representing the sum of a given set of variables.

sum(IntVar[], int) - Static method in class minicp.cp.Factory

Returns a sum constraint.

sum(IntVar[], IntVar) - Static method in class minicp.cp.Factory

Returns a sum constraint.

Sum - Class in minicp.engine.constraints

Sum Constraint

Sum(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[], IntVar) - Constructor for class minicp.engine.constraints.Sum

Creates a sum constraint.

SupportBitSet() - Constructor for class minicp.state.StateSparseBitSet.SupportBitSet

supportedTuples - Variable in class minicp.engine.constraints.TableCT

supports - Variable in class minicp.engine.constraints.TableCT

switchDelay - Variable in class minicp.examples.AircraftLanding.AircraftLandingInstance

switchDelay(AircraftLanding.Plane, AircraftLanding.Plane) - Method in class minicp.examples.AircraftLanding.AircraftLandingInstance

Gives the switch delay between two planes

T

table - Variable in class minicp.examples.Eternity

TableCT - Class in minicp.engine.constraints

Implementation of Compact Table algorithm described in

TableCT(IntVar[], int[][]) - Constructor for class minicp.engine.constraints.TableCT

Table constraint.

TableDecomp - Class in minicp.engine.constraints

TableDecomp(IntVar[], int[][]) - Constructor for class minicp.engine.constraints.TableDecomp

Decomposition of a table constraint.

ThetaTree - Class in minicp.engine.constraints

Data Structure described in Global Constraints in Scheduling, 2008 Petr Vilim, PhD thesis See The thesis.

ThetaTree(int) - Constructor for class minicp.engine.constraints.ThetaTree

Creates a theta-tree able to store the specified number of activities, each identified as a number between 0 and size-1.

tighten() - Method in class minicp.engine.core.Minimize

tighten() - Method in interface minicp.search.Objective

Method called each time a solution is found during the search to let the tightening of the primal bound occurs such that the next found solution is better.

times - Variable in class minicp.examples.AircraftLanding.AircraftLandingSolution

TimeWindow(int, int) - Constructor for class minicp.examples.EBRP.TimeWindow

a time window, containing the earliest visit time allowed and the latest visit time allowed

timeWindows - Variable in class minicp.examples.EBRP.EBRPInstance

toArray() - Method in class minicp.state.StateSparseSet

Returns an array with the values present in the set.

toBytes() - Method in class minicp.util.io.cpprofilerbridge.Message

toString() - Method in class minicp.engine.constraints.Profile

toString() - Method in class minicp.engine.core.BoolVarImpl

toString() - Method in interface minicp.engine.core.IntDomain

toString() - Method in class minicp.engine.core.IntVarImpl

toString() - Method in class minicp.engine.core.IntVarViewMul

toString() - Method in class minicp.engine.core.IntVarViewOffset

toString() - Method in class minicp.engine.core.IntVarViewOpposite

toString() - Method in class minicp.engine.core.MiniCP

toString() - Method in class minicp.engine.core.Minimize

toString() - Method in class minicp.engine.core.SparseSetDomain

toString() - Method in class minicp.examples.AircraftLanding.AircraftLandingSolution

toString() - Method in class minicp.examples.CostProfitTSP.CostProfitTSPSolution

toString() - Method in class minicp.examples.DialARide.DialARideSolution

toString() - Method in class minicp.examples.EBRP.EBRPInstance

toString() - Method in class minicp.examples.EBRP.EBRPSolution

output the solution on two lines: its length (objective value) and its ordering

toString() - Method in class minicp.examples.Eternity

toString() - Method in class minicp.examples.QAP

toString() - Method in class minicp.examples.RCPSP

toString() - Method in class minicp.examples.StableMatching

toString() - Method in class minicp.examples.Steel

toString() - Method in class minicp.examples.TSP

toString() - Method in class minicp.examples.VRP

toString() - Method in class minicp.search.SearchStatistics

toString() - Method in class minicp.state.Copier

toString() - Method in class minicp.state.Copy

toString() - Method in interface minicp.state.State

toString() - Method in class minicp.state.StateInterval

toString() - Method in class minicp.state.StateSparseBitSet.BitSet

toString() - Method in class minicp.state.StateSparseBitSet

toString() - Method in class minicp.state.StateSparseSet

toString() - Method in class minicp.state.Trail

toString() - Method in class minicp.state.Trailer

toString() - Method in exception class minicp.util.exception.InconsistencyException

toString() - Method in exception class minicp.util.exception.IntOverFlowException

toString() - Method in exception class minicp.util.exception.InvalidSolutionException

toString() - Method in class minicp.util.io.cpprofilerbridge.Message

totalDist - Variable in class minicp.examples.TSP

totalDist - Variable in class minicp.examples.VRP

totCost - Variable in class minicp.examples.QAP

totLoss - Variable in class minicp.examples.Steel

Trail<T> - Class in minicp.state

Implementation of State with trail strategy

Trail(Trailer, T) - Constructor for class minicp.state.Trail

Trailer - Class in minicp.state

StateManager that will lazily store the state of state object at each Trailer.saveState() call.

Trailer() - Constructor for class minicp.state.Trailer

TrailInt - Class in minicp.state

Implementation of StateInt with trail strategy

TrailInt(Trailer, int) - Constructor for class minicp.state.TrailInt

TrailMap<K,V> - Class in minicp.state

Implementation of StateMap with trail strategy

TrailMap(Trailer) - Constructor for class minicp.state.TrailMap

transpose(GraphUtil.Graph) - Static method in class minicp.util.GraphUtil

Transpose the graph i.e.

TreeVisualizer - Class in minicp.search

TreeVisualizer() - Constructor for class minicp.search.TreeVisualizer

TSP - Class in minicp.examples

Traveling salesman problem.

TSP(String) - Constructor for class minicp.examples.TSP

TSPBoundImpact - Class in minicp.examples

Traveling salesman problem.

TSPBoundImpact() - Constructor for class minicp.examples.TSPBoundImpact

type - Variable in class minicp.examples.AircraftLanding.Plane

U

u - Variable in class minicp.examples.Eternity

V

value() - Method in class minicp.state.Copy

value() - Method in interface minicp.state.State

Retrieves the value

value() - Method in class minicp.state.Trail

valueOf(String) - Static method in enum class minicp.util.io.cpprofilerbridge.Connector.NodeStatus

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class minicp.util.io.cpprofilerbridge.Message.MsgType

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class minicp.util.io.cpprofilerbridge.Message.OptionalArgs

Returns the enum constant of this class with the specified name.

values() - Static method in enum class minicp.util.io.cpprofilerbridge.Connector.NodeStatus

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class minicp.util.io.cpprofilerbridge.Message.MsgType

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class minicp.util.io.cpprofilerbridge.Message.OptionalArgs

Returns an array containing the constants of this enum class, in the order they are declared.

verbose - Static variable in class minicp.examples.CostProfitTSP

VRP - Class in minicp.examples

VRP(String, int) - Constructor for class minicp.examples.VRP

W

w - Variable in class minicp.examples.Steel

wantedTime - Variable in class minicp.examples.AircraftLanding.Plane

weightedDistances - Variable in class minicp.examples.QAP

weights - Variable in class minicp.examples.QAP

whenBoundChange(Procedure) - Method in class minicp.engine.core.BoolVarImpl

whenBoundChange(Procedure) - Method in interface minicp.engine.core.IntVar

Asks that the closure is called whenever the max or min setValue of the domain of this variable changes

whenBoundChange(Procedure) - Method in class minicp.engine.core.IntVarImpl

whenBoundChange(Procedure) - Method in class minicp.engine.core.IntVarViewMul

whenBoundChange(Procedure) - Method in class minicp.engine.core.IntVarViewOffset

whenBoundChange(Procedure) - Method in class minicp.engine.core.IntVarViewOpposite

whenDomainChange(Procedure) - Method in class minicp.engine.core.BoolVarImpl

whenDomainChange(Procedure) - Method in interface minicp.engine.core.IntVar

Asks that the closure is called whenever the domain change of this variable changes

whenDomainChange(Procedure) - Method in class minicp.engine.core.IntVarImpl

whenDomainChange(Procedure) - Method in class minicp.engine.core.IntVarViewMul

whenDomainChange(Procedure) - Method in class minicp.engine.core.IntVarViewOffset

whenDomainChange(Procedure) - Method in class minicp.engine.core.IntVarViewOpposite

whenFixed(Procedure) - Method in class minicp.engine.core.BoolVarImpl

whenFixed(Procedure) - Method in interface minicp.engine.core.IntVar

Asks that the closure is called whenever the domain of this variable is reduced to a single setValue

whenFixed(Procedure) - Method in class minicp.engine.core.IntVarImpl

whenFixed(Procedure) - Method in class minicp.engine.core.IntVarViewMul

whenFixed(Procedure) - Method in class minicp.engine.core.IntVarViewOffset

whenFixed(Procedure) - Method in class minicp.engine.core.IntVarViewOpposite

withNewState(Procedure) - Method in class minicp.state.Copier

withNewState(Procedure) - Method in interface minicp.state.StateManager

Higher-order function that preserves the state prior to calling body and restores it after.

withNewState(Procedure) - Method in class minicp.state.Trailer

words - Variable in class minicp.state.StateSparseBitSet.BitSet

X

x - Variable in class minicp.examples.QAP

x - Variable in class minicp.examples.Steel

A B C D E F G H I J L M N O P Q R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form