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

Packages that use CPIntervalVar

Package	Description
org.maxicp.cp	Constraint Programming Solver Implementation
org.maxicp.cp.engine.constraints.scheduling	Constraints implementation for Scheduling over Interval Variables and Cumulative Functions
org.maxicp.cp.engine.constraints.seqvar	Constraints implementation for Sequence Variables
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.examples.modeling	Examples of models using the symbolic modeling API
org.maxicp.cp.examples.raw.jobshop
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.search	Search API

Uses of CPIntervalVar in org.maxicp.cp

Methods in org.maxicp.cp that return CPIntervalVar

Modifier and Type	Method	Description
static CPIntervalVar	CPFactory.delay(CPIntervalVar intervalVar, int v)	A variable that is a view of intervalVar+v, adding an offset to it
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp)	Creates a new optional interval variable with a startMin of 0, an unbounded end and unfixed length
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp, boolean optional, int length)	Creates a new interval optional or mandatory variable with a startMin of 0, an unbounded end and fixed length
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp, boolean optional, int lengthMin, int lengthMax)	Creates a new interval variable with a startMin of 0, a length between lengthMin and lengthMax
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp, int length)	Creates a new optional interval variable with a startMin of 0, an unbounded end and fixed length
static CPIntervalVar	CPFactory.makeIntervalVar(CPSolver cp, int lengthMin, int lengthMax)	Creates a new optional interval variable with a startMin of 0, a length between lengthMin and lengthMax
static CPIntervalVar[]	CPFactory.makeIntervalVarArray(CPSolver cp, int n)	Creates an array of new interval variable with a startMin of 0, an unbounded end and unfixed length

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

Modifier and Type	Method	Description
static CPConstraint	CPFactory.absent(CPIntervalVar var1)	Create a constraint that enforces an interval to be absent
static CPConstraint	CPFactory.alternative(CPIntervalVar interval, CPIntervalVar[] alternatives)	Returns an Alternative constraint: Enforces that if the interval variable interval is present, then one of the intervals from the array alternatives must be present and synchronized with a.
static CPConstraint	CPFactory.alternative(CPIntervalVar interval, CPIntervalVar[] alternatives, int cardinality)	Returns an Alternative constraint: Enforces that if the interval variable interval is present, then cardinality intervals from the array alternatives must be present and synchronized with interval.
static CPConstraint	CPFactory.alternative(CPIntervalVar interval, CPIntervalVar[] alternatives, CPIntVar cardinality)	Returns an Alternative constraint: Enforces that if the interval variable interval is present, then cardinality intervals from the array alternatives must be present and synchronized with a.
static CPIntervalVar	CPFactory.delay(CPIntervalVar intervalVar, int v)	A variable that is a view of intervalVar+v, adding an offset to it
static CPIntVar	CPFactory.end(CPIntervalVar var)	Returns a CPIntVar that is equal to the start of interval.
static CPConstraint	CPFactory.endAt(CPIntervalVar var1, int end)	Create a constraint that enforces that var1 ends at end
static CPConstraint	CPFactory.endAtEnd(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the end of var1 is equal to the end of var2
static CPConstraint	CPFactory.endAtEnd(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the end of var1 is equal to the end of var2 + delay
static CPConstraint	CPFactory.endAtStart(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the end of var1 is equal to the start of var2
static CPConstraint	CPFactory.endAtStart(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the end of var1 is equal to the start of var2 + delay
static CPConstraint	CPFactory.endBeforeEnd(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the end of var1 is lower or equal to the end of var2
static CPConstraint	CPFactory.endBeforeEnd(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the end of var1 is lower or equal to the end of var2 + delay
static CPConstraint	CPFactory.endBeforeStart(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the end of var1 is lower or equal to the start of var2
static CPConstraint	CPFactory.endBeforeStart(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the end of var1 is lower or equal to the start of var2 + delay
static CPIntVar	CPFactory.endOr(CPIntervalVar interval, int val)	Returns a CPIntVar that is equal to the end of interval if it is present, or equal to val if interval is absent
static CPBoolVar	CPFactory.isEndBeforeEnd(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 ends at or before the end of the interval variable var2.
static CPBoolVar	CPFactory.isEndBeforeStart(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 ends at or before the start of the interval variable var2.
static CPBoolVar	CPFactory.isStartBeforeEnd(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 starts at or before the end of the interval variable var2.
static CPBoolVar	CPFactory.isStartBeforeStart(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 starts at or before the start of the interval variable var2.
static CPIntVar	CPFactory.length(CPIntervalVar var)	Returns a CPIntVar that is equal to the length of interval.
static CPIntVar	CPFactory.lengthOr(CPIntervalVar interval, int val)	Returns a CPIntVar that is equal to the length of interval if it is present, or equal to val if interval is absent
static CPIntVar	CPFactory.makespan(CPIntervalVar... vars)	Returns a CPIntVar that is equal to the makespan (the latest end) of the intervals.
static CPSeqVar	CPFactory.nonOverlapSequence(CPIntervalVar[] intervals)	Creates and post a non-overlap constraint on the intervals in vars and create a sequence variable linked with these intervals representing the order of the intervals in time.
static NoOverlap	CPFactory.noOverlap(CPIntervalVar... vars)	Creates a constraint that enforces that there is no overlap between the intervals in vars.
static CPConstraint	CPFactory.present(CPIntervalVar var1)	Create a constraint that enforces an interval to be present
static CPCumulFunction	CPFactory.pulse(CPIntervalVar var, int h)	Creates an elementary Cumulative Function that is a pulse of height h that happen when the Interval variable var is present.
static CPCumulFunction	CPFactory.pulse(CPIntervalVar var, int hMin, int hMax)	Creates an elementary Cumulative Function that is a pulse that happen when the Interval variable var is present.
static CPIntVar	CPFactory.start(CPIntervalVar var)	Returns a CPIntVar that is equal to the start of interval.
static CPConstraint	CPFactory.startAfter(CPIntervalVar var1, int start)	Create a constraint that enforces the start of var1 to be at or after start
static CPConstraint	CPFactory.startAt(CPIntervalVar var1, int start)	Create a constraint that enforces the start of var1 to be equal to start
static CPConstraint	CPFactory.startAtEnd(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the start of var1 is equal to the end of var2
static CPConstraint	CPFactory.startAtEnd(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the start of var1 is equal to the end of var2 + delay
static CPConstraint	CPFactory.startAtStart(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the start of var1 is equal to the start of var2
static CPConstraint	CPFactory.startAtStart(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the start of var1 is equal to the start of var2 + delay
static CPConstraint	CPFactory.startBefore(CPIntervalVar var1, int start)	Create a constraint that enforces the start of var1 to be before or at start
static CPConstraint	CPFactory.startBeforeEnd(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the start of var1 is lower or equal to the end of var2
static CPConstraint	CPFactory.startBeforeEnd(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the start of var1 is lower or equal to the end of var2 + delay
static CPConstraint	CPFactory.startBeforeStart(CPIntervalVar var1, CPIntervalVar var2)	Creates a constraint that enforces that the start of var1 is lower or equal to the start of var2
static CPConstraint	CPFactory.startBeforeStart(CPIntervalVar var1, CPIntervalVar var2, int delay)	Creates a constraint that enforces that the start of var1 is lower or equal to the start of var2 + delay
static CPIntVar	CPFactory.startOr(CPIntervalVar interval, int val)	Returns a CPIntVar that is equal to the start of interval if it is present, or equal to val if interval is absent
static CPIntVar	CPFactory.status(CPIntervalVar var)	Returns a CPBoolVar that is equal to the status of the interval.
static CPCumulFunction	CPFactory.stepAtEnd(CPIntervalVar var, int h)	Creates an elementary Cumulative Function that is a step of height h that happen at the end of the Interval variable var if it is present.
static CPCumulFunction	CPFactory.stepAtEnd(CPIntervalVar var, int hMin, int hMax)	Creates an elementary Cumulative Function that is a step that happen at the end of the Interval variable var if it is present.
static CPCumulFunction	CPFactory.stepAtStart(CPIntervalVar var, int h)	Creates an elementary Cumulative Function that is a step of height h that happen at the start of the Interval variable var if it is present.
static CPCumulFunction	CPFactory.stepAtStart(CPIntervalVar var, int hMin, int hMax)	Creates an elementary Cumulative Function that is a step that happen at the start of the Interval variable var if it is present.

Uses of CPIntervalVar in org.maxicp.cp.engine.constraints.scheduling

Fields in org.maxicp.cp.engine.constraints.scheduling declared as CPIntervalVar

Modifier and Type	Field	Description
final CPIntervalVar	CPPulseCumulFunction.var
final CPIntervalVar	CPStepAtEndCumulFunction.var
final CPIntervalVar	CPStepAtStartCumulFunction.var

Methods in org.maxicp.cp.engine.constraints.scheduling that return CPIntervalVar

Modifier and Type	Method	Description
CPIntervalVar	Activity.interval()	Returns the value of the interval record component.

Constructors in org.maxicp.cp.engine.constraints.scheduling with parameters of type CPIntervalVar

Modifier	Constructor	Description
	Activity(CPIntervalVar interval, CPIntVar height)	Creates an instance of a Activity record class.
	Alternative(CPIntervalVar a, CPIntervalVar[] alts, CPIntVar c)
	CPPulseCumulFunction(CPIntervalVar var, int h)
	CPPulseCumulFunction(CPIntervalVar var, int hMin, int hMax)
	CPStepAtEndCumulFunction(CPIntervalVar var, int h)
	CPStepAtEndCumulFunction(CPIntervalVar var, int hMin, int hMax)
	CPStepAtStartCumulFunction(CPIntervalVar var, int h)
	CPStepAtStartCumulFunction(CPIntervalVar var, int hMin, int hMax)
	EndAfter(CPIntervalVar interval, CPIntVar var)	Enforces that the end of an interval comes after or at a given variable
	EndAtEnd(CPIntervalVar A, CPIntervalVar B)
	EndAtStart(CPIntervalVar A, CPIntervalVar B)
	EndBefore(CPIntervalVar interval, CPIntVar var)	Enforces that the end of an interval comes before or at a given variable
	EndBeforeEnd(CPIntervalVar A, CPIntervalVar B)
	EndBeforeStart(CPIntervalVar A, CPIntervalVar B)
	IntervalVarEnd(CPIntervalVar var, CPIntVar end)
	IntervalVarEndOrValue(CPIntervalVar var, CPIntVar end, int value)
	IntervalVarLength(CPIntervalVar var, CPIntVar length)
	IntervalVarLengthOrValue(CPIntervalVar var, CPIntVar length, int value)
	IntervalVarStart(CPIntervalVar var, CPIntVar start)
	IntervalVarStartOrValue(CPIntervalVar var, CPIntVar start, int value)
	IsEndAfter(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)	true iff end >= var
	IsEndBefore(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)
	IsEndBeforeEnd(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval ends before the end of another one
	IsEndBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval ends before the start of another one
	IsStartBefore(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)
	IsStartBeforeEnd(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval starts before the end of another one
	IsStartBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval start before the start of another one
	NoOverlap(CPIntervalVar... vars)
	NoOverlapBC(CPIntervalVar... vars)
	NoOverlapBinary(CPIntervalVar A, CPIntervalVar B)
	NoOverlapBinaryWithTransitionTime(CPBoolVar AprecedesB, CPIntervalVar A, CPIntervalVar B, int transitionTimeAB, int transitionTimeBA)
	NoOverlapBinaryWithTransitionTime(CPIntervalVar A, CPIntervalVar B, int transitionTimeAB, int transitionTimeBA)
	StartAfter(CPIntervalVar interval, CPIntVar var)	Enforces that the start of an interval comes after or at a given variable
	StartAtEnd(CPIntervalVar A, CPIntervalVar B)
	StartAtStart(CPIntervalVar A, CPIntervalVar B)
	StartBefore(CPIntervalVar interval, CPIntVar var)	Enforces that the start of an interval comes before or at a given variable
	StartBeforeEnd(CPIntervalVar A, CPIntervalVar B)
	StartBeforeStart(CPIntervalVar A, CPIntervalVar B)

Uses of CPIntervalVar in org.maxicp.cp.engine.constraints.seqvar

Constructors in org.maxicp.cp.engine.constraints.seqvar with parameters of type CPIntervalVar

Modifier	Constructor	Description
	Duration(CPSeqVar seqVar, CPIntervalVar[] intervals)

Uses of CPIntervalVar in org.maxicp.cp.engine.core

Classes in org.maxicp.cp.engine.core that implement CPIntervalVar

Modifier and Type	Class	Description
class	CPIntervalVarImpl	TODO
class	CPIntervalVarOffset	Provides a view of a CPIntervalVar that is delayed by a fixed offset value.

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

Modifier	Constructor	Description
	CPIntervalVarOffset(CPIntervalVar intervalVar, int offset)

Uses of CPIntervalVar in org.maxicp.cp.examples.modeling

Methods in org.maxicp.cp.examples.modeling with parameters of type CPIntervalVar

Modifier and Type	Method	Description
static CPSeqVar	JobShop.machineSeqVar(CPIntervalVar[] intervals)	Creates a sequence variable linked with interval variables.
static Supplier<Runnable[]>	JobShop.nodeSearch(CPSeqVar[] machines, CPIntervalVar[][] intervals)	Binary branching that inserts the task with the best cost into the best location in its machine.

Uses of CPIntervalVar in org.maxicp.cp.examples.raw.jobshop

Methods in org.maxicp.cp.examples.raw.jobshop that return CPIntervalVar

Modifier and Type	Method	Description
static CPIntervalVar[]	JobShop.flatten(CPIntervalVar[][] x)
static CPIntervalVar[]	JobShopSeqVar.flatten(CPIntervalVar[][] x)

Methods in org.maxicp.cp.examples.raw.jobshop with parameters of type CPIntervalVar

Modifier and Type	Method	Description
static CPIntervalVar[]	JobShop.flatten(CPIntervalVar[][] x)
static CPIntervalVar[]	JobShopSeqVar.flatten(CPIntervalVar[][] x)
static Supplier<Runnable[]>	JobShopSeqVar.rankBinarySlack(CPSeqVar seqVar, CPIntervalVar[] intervals, CPIntVar makespan)

Uses of CPIntervalVar in org.maxicp.cp.modeling

Methods in org.maxicp.cp.modeling that return CPIntervalVar

Modifier and Type	Method	Description
CPIntervalVar	ConcreteCPModel.getCPVar(IntervalExpression v)
CPIntervalVar[]	ConcreteCPModel.getCPVar(IntervalExpression[] v)

Uses of CPIntervalVar in org.maxicp.search

Methods in org.maxicp.search with parameters of type CPIntervalVar

Modifier and Type	Method	Description
static Runnable[]	Searches.branchOnStatus(CPIntervalVar var)
static Supplier<Runnable[]>	Searches.branchOnStatus(CPIntervalVar... vars)
static Supplier<Runnable[]>	Searches.branchOnStatusThenStarts(CPIntervalVar... vars)
static Supplier<Runnable[]>	Searches.fds(CPIntervalVar[] intervals)
static Supplier<Runnable[]>	Rank.rank(CPIntervalVar[] intervals)
static Supplier<Runnable[]>	SequenceRank.sequenceRank(CPIntervalVar[][] intervals, CPSeqVar[] seqVars)
static Supplier<Runnable[]>	SetTimes.setTimes(CPIntervalVar[] intervals, IntFunction<Integer> tieBreaker)

Constructors in org.maxicp.search with parameters of type CPIntervalVar

Modifier	Constructor	Description
	FDS(double alpha, CPIntervalVar... intervals)	Creates a Failure-Directed Search for the given interval variables.
	FDS(CPIntervalVar... intervals)	Creates a Failure-Directed Search for the given interval variables.
	Rank(CPIntervalVar[] intervals)
	Rank(CPIntervalVar[][] intervals)
	SequenceRank(CPIntervalVar[][] intervals, CPSeqVar[] seqVars)
	SetTimes(CPIntervalVar[] intervals, IntFunction<Integer> tieBreaker)