Uses of Interface
org.maxicp.cp.engine.core.CPIntervalVar
Packages that use CPIntervalVar
Package
Description
Constraint Programming Solver Implementation
Constraints implementation for Scheduling over Interval Variables and Cumulative Functions
Constraints implementation for Sequence Variables
Solver objects
Examples of models using the symbolic modeling API
CP Instantiation of the Symbolic Modeling API
Search API
-
Uses of CPIntervalVar in org.maxicp.cp
Methods in org.maxicp.cp that return CPIntervalVarModifier and TypeMethodDescriptionstatic CPIntervalVarCPFactory.delay(CPIntervalVar intervalVar, int v) A variable that is a view ofintervalVar+v, adding an offset to itstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp) Creates a new optional interval variable with a startMin of 0, an unbounded end and unfixed lengthstatic CPIntervalVarCPFactory.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 lengthstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp, boolean optional, int lengthMin, int lengthMax) Creates a new interval variable with a startMin of 0, a length between lengthMin and lengthMaxstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp, int length) Creates a new optional interval variable with a startMin of 0, an unbounded end and fixed lengthstatic CPIntervalVarCPFactory.makeIntervalVar(CPSolver cp, int lengthMin, int lengthMax) Creates a new optional interval variable with a startMin of 0, a length between lengthMin and lengthMaxstatic CPIntervalVar[]CPFactory.makeIntervalVarArray(CPSolver cp, int n) Creates an array of new interval variable with a startMin of 0, an unbounded end and unfixed lengthMethods in org.maxicp.cp with parameters of type CPIntervalVarModifier and TypeMethodDescriptionstatic CPConstraintCPFactory.absent(CPIntervalVar var1) Create a constraint that enforces an interval to be absentstatic CPConstraintCPFactory.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 CPConstraintCPFactory.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 CPConstraintCPFactory.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 CPIntervalVarCPFactory.delay(CPIntervalVar intervalVar, int v) A variable that is a view ofintervalVar+v, adding an offset to itstatic CPIntVarCPFactory.end(CPIntervalVar var) Returns a CPIntVar that is equal to the start of interval.static CPConstraintCPFactory.endAt(CPIntervalVar var1, int end) Create a constraint that enforces that var1 ends at endstatic CPConstraintCPFactory.endAtEnd(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the end of var1 is equal to the end of var2static CPConstraintCPFactory.endAtEnd(CPIntervalVar var1, CPIntervalVar var2, int delay) Creates a constraint that enforces that the end of var1 is equal to the end of var2 + delaystatic CPConstraintCPFactory.endAtStart(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the end of var1 is equal to the start of var2static CPConstraintCPFactory.endAtStart(CPIntervalVar var1, CPIntervalVar var2, int delay) Creates a constraint that enforces that the end of var1 is equal to the start of var2 + delaystatic CPConstraintCPFactory.endBeforeEnd(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the end of var1 is lower or equal to the end of var2static CPConstraintCPFactory.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 + delaystatic CPConstraintCPFactory.endBeforeStart(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the end of var1 is lower or equal to the start of var2static CPConstraintCPFactory.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 + delaystatic CPIntVarCPFactory.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 absentstatic CPBoolVarCPFactory.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 CPBoolVarCPFactory.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 CPBoolVarCPFactory.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 CPBoolVarCPFactory.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 CPIntVarCPFactory.length(CPIntervalVar var) Returns a CPIntVar that is equal to the length of interval.static CPIntVarCPFactory.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 absentstatic CPIntVarCPFactory.makespan(CPIntervalVar... vars) Returns a CPIntVar that is equal to the makespan (the latest end) of the intervals.static CPSeqVarCPFactory.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 NoOverlapCPFactory.noOverlap(CPIntervalVar... vars) Creates a constraint that enforces that there is no overlap between the intervals in vars.static CPConstraintCPFactory.present(CPIntervalVar var1) Create a constraint that enforces an interval to be presentstatic CPCumulFunctionCPFactory.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 CPCumulFunctionCPFactory.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 CPIntVarCPFactory.start(CPIntervalVar var) Returns a CPIntVar that is equal to the start of interval.static CPConstraintCPFactory.startAfter(CPIntervalVar var1, int start) Create a constraint that enforces the start of var1 to be at or after startstatic CPConstraintCPFactory.startAt(CPIntervalVar var1, int start) Create a constraint that enforces the start of var1 to be equal to startstatic CPConstraintCPFactory.startAtEnd(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the start of var1 is equal to the end of var2static CPConstraintCPFactory.startAtEnd(CPIntervalVar var1, CPIntervalVar var2, int delay) Creates a constraint that enforces that the start of var1 is equal to the end of var2 + delaystatic CPConstraintCPFactory.startAtStart(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the start of var1 is equal to the start of var2static CPConstraintCPFactory.startAtStart(CPIntervalVar var1, CPIntervalVar var2, int delay) Creates a constraint that enforces that the start of var1 is equal to the start of var2 + delaystatic CPConstraintCPFactory.startBefore(CPIntervalVar var1, int start) Create a constraint that enforces the start of var1 to be before or at startstatic CPConstraintCPFactory.startBeforeEnd(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the start of var1 is lower or equal to the end of var2static CPConstraintCPFactory.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 + delaystatic CPConstraintCPFactory.startBeforeStart(CPIntervalVar var1, CPIntervalVar var2) Creates a constraint that enforces that the start of var1 is lower or equal to the start of var2static CPConstraintCPFactory.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 + delaystatic CPIntVarCPFactory.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 absentstatic CPIntVarCPFactory.status(CPIntervalVar var) Returns a CPBoolVar that is equal to the status of the interval.static CPCumulFunctionCPFactory.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 CPCumulFunctionCPFactory.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 CPCumulFunctionCPFactory.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 CPCumulFunctionCPFactory.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 CPIntervalVarModifier and TypeFieldDescriptionfinal CPIntervalVarCPPulseCumulFunction.varfinal CPIntervalVarCPStepAtEndCumulFunction.varfinal CPIntervalVarCPStepAtStartCumulFunction.varMethods in org.maxicp.cp.engine.constraints.scheduling that return CPIntervalVarModifier and TypeMethodDescriptionActivity.interval()Returns the value of theintervalrecord component.Constructors in org.maxicp.cp.engine.constraints.scheduling with parameters of type CPIntervalVarModifierConstructorDescriptionActivity(CPIntervalVar interval, CPIntVar height) Creates an instance of aActivityrecord 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 variableEndBefore(CPIntervalVar interval, CPIntVar var) Enforces that the end of an interval comes before or at a given variableIntervalVarEnd(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 >= varIsEndBefore(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 oneIsEndBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore) Creates a constraint that link a boolean variable representing whether an interval ends before the start of another oneIsStartBefore(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 oneIsStartBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore) Creates a constraint that link a boolean variable representing whether an interval start before the start of another oneNoOverlap(CPIntervalVar... vars) NoOverlapBC(CPIntervalVar... vars) 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 variableStartBefore(CPIntervalVar interval, CPIntVar var) Enforces that the start of an interval comes before or at a given variable -
Uses of CPIntervalVar in org.maxicp.cp.engine.constraints.seqvar
Constructors in org.maxicp.cp.engine.constraints.seqvar with parameters of type CPIntervalVar -
Uses of CPIntervalVar in org.maxicp.cp.engine.core
Classes in org.maxicp.cp.engine.core that implement CPIntervalVarModifier and TypeClassDescriptionclassTODOclassProvides 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 -
Uses of CPIntervalVar in org.maxicp.cp.examples.modeling
Methods in org.maxicp.cp.examples.modeling with parameters of type CPIntervalVarModifier and TypeMethodDescriptionstatic CPSeqVarJobShop.machineSeqVar(CPIntervalVar[] intervals) Creates a sequence variable linked with interval variables.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 CPIntervalVarModifier and TypeMethodDescriptionstatic CPIntervalVar[]JobShop.flatten(CPIntervalVar[][] x) static CPIntervalVar[]JobShopSeqVar.flatten(CPIntervalVar[][] x) Methods in org.maxicp.cp.examples.raw.jobshop with parameters of type CPIntervalVarModifier and TypeMethodDescriptionstatic CPIntervalVar[]JobShop.flatten(CPIntervalVar[][] x) static CPIntervalVar[]JobShopSeqVar.flatten(CPIntervalVar[][] x) JobShopSeqVar.rankBinarySlack(CPSeqVar seqVar, CPIntervalVar[] intervals, CPIntVar makespan) -
Uses of CPIntervalVar in org.maxicp.cp.modeling
Methods in org.maxicp.cp.modeling that return CPIntervalVarModifier and TypeMethodDescriptionConcreteCPModel.getCPVar(IntervalExpression v) ConcreteCPModel.getCPVar(IntervalExpression[] v) -
Uses of CPIntervalVar in org.maxicp.search
Methods in org.maxicp.search with parameters of type CPIntervalVarModifier and TypeMethodDescriptionstatic Runnable[]Searches.branchOnStatus(CPIntervalVar var) Searches.branchOnStatus(CPIntervalVar... vars) Searches.branchOnStatusThenStarts(CPIntervalVar... vars) Searches.fds(CPIntervalVar[] intervals) Rank.rank(CPIntervalVar[] intervals) SequenceRank.sequenceRank(CPIntervalVar[][] intervals, CPSeqVar[] seqVars) SetTimes.setTimes(CPIntervalVar[] intervals, IntFunction<Integer> tieBreaker) Constructors in org.maxicp.search with parameters of type CPIntervalVarModifierConstructorDescriptionFDS(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)