|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsamples.tutorials.lns.lns.AbstractLNSSolver
public abstract class AbstractLNSSolver
Field Summary |
---|
Fields inherited from interface choco.kernel.solver.Solver |
---|
DEFAULT_SOLUTION_CHECKER, LOGGER |
Constructor Summary | |
---|---|
AbstractLNSSolver()
Deprecated. |
Method Summary | ||
---|---|---|
|
_to(MV[] mv,
SV[] sv)
Deprecated. |
|
|
_to(MV mv,
SV sv)
Deprecated. |
|
void |
addGoal(AbstractIntBranchingStrategy branching)
Deprecated. Adds a new branching goal to the end of list of goals |
|
void |
attachGoal(AbstractIntBranchingStrategy branching)
Deprecated. |
|
boolean |
checkDecisionVariables()
Deprecated. Check wether every decisions variables are instantiated |
|
abstract Boolean |
checkSolution()
Deprecated. Solution checker. |
|
void |
clear()
Deprecated. Removes all of the elements from this solver (optional operation). |
|
void |
clearGoals()
Deprecated. Clears the list of goals defined |
|
protected abstract void |
clearLNS()
Deprecated. |
|
IntDomainVar |
createBinTreeIntVar(String name,
int[] sortedValues)
Deprecated. |
|
IntDomainVar |
createBinTreeIntVar(String name,
int min,
int max)
Deprecated. |
|
IntDomainVar |
createBooleanVar(String name)
Deprecated. |
|
IntDomainVar |
createBoundIntVar(String name,
int min,
int max)
Deprecated. |
|
SetVar |
createBoundSetVar(String name,
int a,
int b)
Deprecated. |
|
IntDomainVar |
createEnumIntVar(String name,
int[] sortedValues)
Deprecated. |
|
IntDomainVar |
createEnumIntVar(String name,
int min,
int max)
Deprecated. |
|
SetVar |
createEnumSetVar(String name,
int a,
int b)
Deprecated. |
|
IntDomainVar |
createIntegerConstant(String name,
int val)
Deprecated. |
|
IntDomainVar |
createIntVar(String name,
int domainType,
int min,
int max)
Deprecated. |
|
RealConstant |
createRealConstant(String name,
double val)
Deprecated. |
|
RealConstant |
createRealIntervalConstant(double a,
double b)
Deprecated. |
|
RealVar |
createRealVal(String name,
double min,
double max)
Deprecated. |
|
SetVar |
createSetVar(String name,
int a,
int b,
int domainType)
Deprecated. |
|
TaskVar |
createTaskVar(String name,
IntDomainVar start,
IntDomainVar end,
IntDomainVar duration)
Deprecated. |
|
RealConstant |
cst(double d)
Deprecated. Makes a constant interval from a double d ([d,d]). |
|
RealConstant |
cst(double a,
double b)
Deprecated. Makes a constant interval between two doubles [a,b]. |
|
SConstraint |
eq(IntExp x,
int c)
Deprecated. |
|
SConstraint |
eq(IntExp x,
IntExp y)
Deprecated. |
|
SConstraint |
eq(int c,
IntExp x)
Deprecated. |
|
SConstraint |
eq(RealVar r,
IntDomainVar i)
Deprecated. |
|
void |
eraseConstraint(SConstraint c)
Deprecated. |
|
abstract boolean |
existsSolution()
Deprecated. indicates if the search find at least one solution. |
|
void |
generateSearchStrategy()
Deprecated. |
|
SConstraint |
geq(IntExp x,
int c)
Deprecated. |
|
SConstraint |
geq(IntExp x,
IntExp y)
Deprecated. |
|
SConstraint |
geq(int c,
IntExp x)
Deprecated. |
|
abstract int |
getBackTrackCount()
Deprecated. Get the backtrack count of the measure |
|
Configuration |
getConfiguration()
Deprecated. Return the current configuration of the solver |
|
DisposableIterator<SConstraint> |
getConstraintIterator()
Deprecated. |
|
SConstraint |
getCstr(Constraint ic)
Deprecated. |
|
abstract AbstractGlobalSearchLimit |
getEncounteredLimit()
Deprecated. If a limit has been encountered, return the involved limit |
|
IEnvironment |
getEnvironment()
Deprecated. Returns the memory environment used by the model. |
|
abstract int |
getFailCount()
Deprecated. Get the fail count of the measure |
|
abstract boolean |
getFirstSolution()
Deprecated. |
|
int |
getHorizon()
Deprecated. get the scheduling horizon. |
|
Var |
getIntConstant(int i)
Deprecated. Returns the constant corresponding to the int i. |
|
Collection<Integer> |
getIntConstantSet()
Deprecated. Returns the collection of integer constant values |
|
AbstractIntSConstraint |
getIntConstraint(int i)
Deprecated. Network management: Retrieve a constraint by its index. |
|
DisposableIterator<SConstraint> |
getIntConstraintIterator()
Deprecated. |
|
IntDomainVar[] |
getIntDecisionVars()
Deprecated. get the list of decision integer variables. |
|
IntDomainVar |
getIntVar(int i)
Deprecated. Network management: Retrieve a variable by its index (all integer variables of the model are numbered in sequence from 0 on) |
|
int |
getIntVarIndex(IntVar c)
Deprecated. |
|
DisposableIterator<IntDomainVar> |
getIntVarIterator()
Deprecated. |
|
IntDomainVar |
getIntVarQuick(int i)
Deprecated. |
|
int |
getLoggingMaxDepth()
Deprecated. get the maximal search depth for logging statements |
|
IntDomainVar |
getMakespan()
Deprecated. Get the makespan variable if any |
|
int |
getMakespanValue()
Deprecated. get the makespan value or +inf. |
|
Model |
getModel()
Deprecated. |
|
int |
getNbBooleanVars()
Deprecated. Returns the number of variables modelling boolean. |
|
int |
getNbConstants()
Deprecated. retrieving the total number of constants |
|
int |
getNbIntConstraints()
Deprecated. retrieving the total number of constraints |
|
int |
getNbIntVars()
Deprecated. retrieving the total number of integer variables |
|
int |
getNbRealVars()
Deprecated. Returns the number of variables modelling real numbers. |
|
int |
getNbSetVars()
Deprecated. Returns the number of variables modelling real numbers. |
|
abstract int |
getNbSolutions()
Deprecated. returns the number of solutions encountered during the search |
|
int |
getNbTaskVars()
Deprecated. Returns the number of variables modelling tasks. |
|
abstract int |
getNodeCount()
Deprecated. Get the node count of the measure |
|
Var |
getObjective()
Deprecated. |
|
abstract Number |
getObjectiveValue()
Deprecated. Get the best objective value of a solution. |
|
Number |
getOptimumValue()
Deprecated. |
|
double |
getPrecision()
Deprecated. Get the precision of the search for a real model. |
|
PropagationEngine |
getPropagationEngine()
Deprecated. Returns the propagation engine associated to the model |
|
Var |
getRealConstant(double i)
Deprecated. Returns the constant corresponding to the real i. |
|
Collection<Double> |
getRealConstantSet()
Deprecated. Returns the collection of real constant values |
|
RealVar[] |
getRealDecisionVars()
Deprecated. get the list of decision real variables. |
|
RealVar |
getRealVar(int i)
Deprecated. Returns a real variable. |
|
DisposableIterator<RealVar> |
getRealVarIterator()
Deprecated. |
|
RealVar |
getRealVarQuick(int i)
Deprecated. |
|
double |
getReduction()
Deprecated. Get the minimal width reduction between two propagations. |
|
abstract int |
getRestartCount()
Deprecated. Get the restart count of the measure |
|
AbstractGlobalSearchStrategy |
getSearchStrategy()
Deprecated. ****************************************************************************** ******************************************************************************** SPECIFIC CPSolver ******************************************************************************** ******************************************************************************* |
|
SetVar[] |
getSetDecisionVars()
Deprecated. get the list of decision set variables. |
|
SetVar |
getSetVar(int i)
Deprecated. Returns a set variable. |
|
DisposableIterator<SetVar> |
getSetVarIterator()
Deprecated. |
|
SetVar |
getSetVarQuick(int i)
Deprecated. |
|
abstract int |
getSolutionCount()
Deprecated. Get the solution count of the measure |
|
TaskVar[] |
getTaskDecisionVars()
Deprecated. get the list of decision task variables. |
|
TaskVar |
getTaskVar(int i)
Deprecated. Returns a task variable. |
|
DisposableIterator<TaskVar> |
getTaskVarIterator()
Deprecated. |
|
TaskVar |
getTaskVarQuick(int i)
Deprecated. |
|
abstract int |
getTimeCount()
Deprecated. Get the time count in milliseconds of the measure |
|
|
getVar(Class<SV> clazz,
MV[] mv)
Deprecated. |
|
IntDomainVar[] |
getVar(IntegerVariable... v)
Deprecated. |
|
IntDomainVar |
getVar(IntegerVariable v)
Deprecated. |
|
|
getVar(MV v)
Deprecated. |
|
RealVar[] |
getVar(RealVariable... v)
Deprecated. |
|
RealVar |
getVar(RealVariable v)
Deprecated. |
|
SetVar[] |
getVar(SetVariable... v)
Deprecated. |
|
SetVar |
getVar(SetVariable v)
Deprecated. |
|
TaskVar[] |
getVar(TaskVariable... v)
Deprecated. |
|
TaskVar |
getVar(TaskVariable v)
Deprecated. |
|
int |
getWorldIndex()
Deprecated. returning the index of the current worl |
|
SConstraint |
gt(IntExp x,
int c)
Deprecated. |
|
SConstraint |
gt(IntExp x,
IntExp y)
Deprecated. |
|
SConstraint |
gt(int c,
IntExp x)
Deprecated. |
|
abstract boolean |
isEncounteredLimit()
Deprecated. Checks if a limit has been encountered |
|
abstract Boolean |
isFeasible()
Deprecated. |
|
abstract boolean |
isObjectiveOptimal()
Deprecated. |
|
boolean |
isOptimizationSolver()
Deprecated. |
|
void |
launch()
Deprecated. commands the strategy to start |
|
SConstraint |
leq(IntExp x,
int c)
Deprecated. |
|
SConstraint |
leq(IntExp x,
IntExp y)
Deprecated. |
|
SConstraint |
leq(int c,
IntExp x)
Deprecated. |
|
SConstraint |
lt(IntExp x,
int c)
Deprecated. |
|
SConstraint |
lt(IntExp x,
IntExp y)
Deprecated. |
|
SConstraint |
lt(int c,
IntExp x)
Deprecated. |
|
BinRelation |
makeBinRelation(int[] min,
int[] max,
List<int[]> mat,
boolean feas)
Deprecated. |
|
BinRelation |
makeBinRelation(int[] min,
int[] max,
List<int[]> mat,
boolean feas,
boolean bitset)
Deprecated. |
|
LargeRelation |
makeLargeRelation(int[] min,
int[] max,
List<int[]> tuples,
boolean feas)
Deprecated. |
|
LargeRelation |
makeLargeRelation(int[] min,
int[] max,
List<int[]> tuples,
boolean feas,
int scheme)
Deprecated. |
|
Boolean |
maximize(boolean restart)
Deprecated. |
|
Boolean |
maximize(Var obj,
boolean restart)
Deprecated. |
|
Boolean |
minimize(boolean restart)
Deprecated. |
|
Boolean |
minimize(Var obj,
boolean restart)
Deprecated. |
|
void |
monitorBackTrackLimit(boolean b)
Deprecated. Monitor the backtrack limit (default to false) |
|
void |
monitorFailLimit(boolean b)
Deprecated. Monitor the fail limit (default to false) |
|
void |
monitorNodeLimit(boolean b)
Deprecated. Monitor the node limit (default to true) |
|
void |
monitorTimeLimit(boolean b)
Deprecated. Monitor the time limit (default to true) |
|
SConstraint |
neq(IntExp x,
int c)
Deprecated. |
|
SConstraint |
neq(IntExp x,
IntExp y)
Deprecated. |
|
SConstraint |
neq(int c,
IntExp x)
Deprecated. |
|
Boolean |
nextSolution()
Deprecated. |
|
protected abstract Boolean |
optimize(boolean maximize,
Var obj,
boolean restart)
Deprecated. |
|
IntExp |
plus(IntExp v1,
int v2)
Deprecated. |
|
IntExp |
plus(IntExp v1,
IntExp v2)
Deprecated. |
|
IntExp |
plus(int v1,
IntExp v2)
Deprecated. |
|
void |
post(SConstraint c)
Deprecated. |
|
void |
postCut(SConstraint c)
Deprecated. |
|
abstract String |
pretty()
Deprecated. pretty printing of the object. |
|
abstract void |
printRuntimeStatistics()
Deprecated. |
|
void |
propagate()
Deprecated. Propagation: Computes consistency on the model (the model may no longer be consistent since the last propagation because of listeners that have been posted and variables that have been reduced |
|
void |
read(Model model)
Deprecated. |
|
abstract Solution |
recordSolution()
Deprecated. Record a solution by getting every variables' value. |
|
SConstraint |
relationTupleAC(IntDomainVar[] vs,
LargeRelation rela)
Deprecated. |
|
SConstraint |
relationTupleAC(IntDomainVar[] vs,
LargeRelation rela,
int ac)
Deprecated. |
|
abstract void |
restoreSolution(Solution sol)
Deprecated. Restore a solution by setting value to every variable |
|
abstract String |
runtimeStatistics()
Deprecated. |
|
IntExp |
scalar(int[] lc,
IntDomainVar[] lv)
Deprecated. |
|
IntExp |
scalar(IntDomainVar[] lv,
int[] lc)
Deprecated. |
|
abstract void |
setBackTrackLimit(int backtracklimit)
Deprecated. Sets the backtrack limit i.e. the maximal number of backtracks before stopping the search algorithm |
|
void |
setCardReasoning(boolean creas)
Deprecated. |
|
void |
setDoMaximize(boolean doMaximize)
Deprecated. a boolean indicating if the strategy minize or maximize the objective function |
|
abstract void |
setFailLimit(int failLimit)
Deprecated. Sets the fail limit i.e. the maximal numnber of fails before stopping the search algorithm |
|
void |
setFeasible(Boolean b)
Deprecated. |
|
abstract void |
setFirstSolution(boolean firstSolution)
Deprecated. Sets wether only the first solution must be found |
|
void |
setHorizon(int horizon)
Deprecated. set the scheduling horizon. |
|
void |
setIlogGoal(Goal ilogGoal)
Deprecated. |
|
void |
setLoggingMaxDepth(int loggingMaxDepth)
Deprecated. set the maximal search depth for logging statements |
|
void |
setModel(Model model)
Deprecated. |
|
abstract void |
setNodeLimit(int nodeLimit)
Deprecated. Sets the node limit i.e. the maximal number of nodes explored by the search algorithm |
|
void |
setObjective(Var objective)
Deprecated. Set the variable to optimize |
|
void |
setPrecision(double precision)
Deprecated. Set the precision of the search for a real model. |
|
void |
setReduction(double reduction)
Deprecated. Set the minimal width reduction between two propagations. |
|
void |
setRestart(boolean restart)
Deprecated. set the optimization strategy: - restart or not after each solution found |
|
abstract void |
setRestartLimit(int restartLimit)
Deprecated. Sets the restart limit i.e. the maximal number of restart performed during the search algorithm. |
|
void |
setSolutionPoolCapacity(int capacity)
Deprecated. |
|
abstract void |
setTimeLimit(int timeLimit)
Deprecated. Sets the time limit i.e. the maximal time before stopping the search algorithm |
|
void |
setValIntIterator(ValIterator<IntDomainVar> valIterator)
Deprecated. Sets the integer value iterator the search should use |
|
void |
setValIntSelector(ValSelector<IntDomainVar> valSelector)
Deprecated. Sets the integer value selector the search should use |
|
void |
setValRealIterator(ValIterator<RealVar> realValIterator)
Deprecated. Sets the real value iterator the search should use |
|
void |
setValRealSelector(ValSelector<RealVar> valSelector)
Deprecated. Sets the integer value selector the search should use |
|
void |
setValSetIterator(ValIterator<SetVar> valIterator)
Deprecated. Sets the integer value iterator the search should use |
|
void |
setValSetSelector(ValSelector<SetVar> setValIntSelector)
Deprecated. Sets the integer value selector the search should use |
|
void |
setVarIntSelector(VarSelector<IntDomainVar> varSelector)
Deprecated. Sets the integer variable selector the search olver should use. |
|
void |
setVarRealSelector(VarSelector<RealVar> realVarSelector)
Deprecated. Sets the real variable selector the search strategy should use. |
|
void |
setVarSetSelector(VarSelector<SetVar> setVarIntSelector)
Deprecated. Sets the set variable selector the search strategy should use. |
|
abstract String |
solutionToString()
Deprecated. |
|
Boolean |
solve()
Deprecated. |
|
Boolean |
solve(boolean all)
Deprecated. |
|
Boolean |
solveAll()
Deprecated. |
|
IntExp |
sum(IntExp... lv)
Deprecated. |
|
void |
worldPop()
Deprecated. popping one world from the stack: overrides AbstractModel.worldPop because the Model class adds the notion of static constraints that need be repropagated upon backtracking |
|
void |
worldPopDuringPropagation()
Deprecated. poping the world during propagation |
|
void |
worldPopUntil(int n)
Deprecated. Backtracks to a given level in the search tree. |
|
void |
worldPush()
Deprecated. pushing one world on the stack |
|
void |
worldPushDuringPropagation()
Deprecated. pushing the world during propagation |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface choco.kernel.solver.Solver |
---|
getIndexfactory, getNbConstraints, getNbVars, setSolutionDisplay |
Methods inherited from interface choco.kernel.solver.search.measure.IPreSolveMeasures |
---|
getInitialPropagationTimeCount, getReadingTimeCount |
Constructor Detail |
---|
public AbstractLNSSolver()
Method Detail |
---|
public void clear()
Solver
clear
in interface Solver
protected abstract void clearLNS()
public Configuration getConfiguration()
Solver
getConfiguration
in interface Solver
public Model getModel()
getModel
in interface Solver
public void setModel(Model model)
setModel
in interface Solver
public void read(Model model)
read
in interface Solver
public Boolean solve(boolean all)
solve
in interface Solver
public Boolean solve()
solve
in interface Solver
public Boolean solveAll()
solveAll
in interface Solver
public void launch()
Solver
launch
in interface Solver
public Boolean nextSolution()
nextSolution
in interface Solver
protected abstract Boolean optimize(boolean maximize, Var obj, boolean restart)
public Boolean maximize(Var obj, boolean restart)
maximize
in interface Solver
public Boolean minimize(Var obj, boolean restart)
minimize
in interface Solver
public Boolean maximize(boolean restart)
maximize
in interface Solver
public Boolean minimize(boolean restart)
minimize
in interface Solver
public void setObjective(Var objective)
Solver
setObjective
in interface Solver
objective
- variable to optimizepublic Var getObjective()
getObjective
in interface Solver
public boolean isOptimizationSolver()
isOptimizationSolver
in interface Solver
public void setFeasible(Boolean b)
setFeasible
in interface Solver
public abstract Boolean isFeasible()
isFeasible
in interface Solver
public abstract boolean isObjectiveOptimal()
isObjectiveOptimal
in interface IOptimizationMeasures
public abstract Number getObjectiveValue()
IOptimizationMeasures
getObjectiveValue
in interface IOptimizationMeasures
public Number getOptimumValue()
getOptimumValue
in interface Solver
public void setSolutionPoolCapacity(int capacity)
setSolutionPoolCapacity
in interface Solver
public abstract Boolean checkSolution()
Solver
checkSolution
in interface Solver
public abstract boolean existsSolution()
ISolutionMeasures
existsSolution
in interface ISolutionMeasures
public abstract int getSolutionCount()
ISolutionMeasures
getSolutionCount
in interface ISearchMeasures
getSolutionCount
in interface ISolutionMeasures
public abstract Solution recordSolution()
Solver
recordSolution
in interface Solver
public abstract void restoreSolution(Solution sol)
Solver
restoreSolution
in interface Solver
sol
- solution to restorepublic abstract boolean getFirstSolution()
getFirstSolution
in interface Solver
public abstract void setFirstSolution(boolean firstSolution)
Solver
setFirstSolution
in interface Solver
public abstract int getNbSolutions()
Solver
getNbSolutions
in interface Solver
public abstract String solutionToString()
solutionToString
in interface ISolutionDisplay
public abstract boolean isEncounteredLimit()
Solver
isEncounteredLimit
in interface Solver
public abstract AbstractGlobalSearchLimit getEncounteredLimit()
Solver
getEncounteredLimit
in interface Solver
public abstract int getTimeCount()
ISearchMeasures
getTimeCount
in interface ISearchMeasures
public void monitorTimeLimit(boolean b)
Solver
monitorTimeLimit
in interface Solver
b
- indicates wether the search stategy monitor the time limitpublic abstract void setTimeLimit(int timeLimit)
Solver
setTimeLimit
in interface Solver
public abstract int getRestartCount()
ISearchMeasures
getRestartCount
in interface ISearchMeasures
public void monitorNodeLimit(boolean b)
Solver
monitorNodeLimit
in interface Solver
b
- indicates wether the search stategy monitor the node limitpublic abstract void setRestartLimit(int restartLimit)
Solver
setRestartLimit
in interface Solver
public abstract int getNodeCount()
ISearchMeasures
getNodeCount
in interface ISearchMeasures
public abstract void setNodeLimit(int nodeLimit)
Solver
setNodeLimit
in interface Solver
public abstract int getBackTrackCount()
ISearchMeasures
getBackTrackCount
in interface ISearchMeasures
public void monitorBackTrackLimit(boolean b)
Solver
monitorBackTrackLimit
in interface Solver
b
- indicates wether the search stategy monitor the backtrack limitpublic abstract void setBackTrackLimit(int backtracklimit)
Solver
setBackTrackLimit
in interface Solver
public abstract int getFailCount()
ISearchMeasures
getFailCount
in interface ISearchMeasures
public void monitorFailLimit(boolean b)
Solver
monitorFailLimit
in interface Solver
b
- indicates wether the search stategy monitor the fail limitpublic abstract void setFailLimit(int failLimit)
Solver
setFailLimit
in interface Solver
public abstract void printRuntimeStatistics()
printRuntimeStatistics
in interface Solver
public abstract String runtimeStatistics()
runtimeStatistics
in interface Solver
public abstract String pretty()
IPretty
pretty
in interface IPretty
public void setPrecision(double precision)
Solver
setPrecision
in interface Solver
precision
- the new precisionpublic double getPrecision()
Solver
getPrecision
in interface Solver
public void setReduction(double reduction)
Solver
setReduction
in interface Solver
reduction
- new width reductionpublic double getReduction()
Solver
getReduction
in interface Solver
public void setRestart(boolean restart)
Solver
setRestart
in interface Solver
public void setDoMaximize(boolean doMaximize)
Solver
setDoMaximize
in interface Solver
public AbstractGlobalSearchStrategy getSearchStrategy()
getSearchStrategy
in interface Solver
public void generateSearchStrategy()
generateSearchStrategy
in interface Solver
public void attachGoal(AbstractIntBranchingStrategy branching)
attachGoal
in interface Solver
public void addGoal(AbstractIntBranchingStrategy branching)
Solver
addGoal
in interface Solver
branching
- new goal to addpublic void clearGoals()
Solver
clearGoals
in interface Solver
public void setIlogGoal(Goal ilogGoal)
setIlogGoal
in interface Solver
public void setLoggingMaxDepth(int loggingMaxDepth)
Solver
setLoggingMaxDepth
in interface Solver
ChocoLogging
public int getLoggingMaxDepth()
Solver
getLoggingMaxDepth
in interface Solver
ChocoLogging
public void worldPush()
Solver
worldPush
in interface Solver
public void worldPop()
Solver
worldPop
in interface Solver
public void worldPopUntil(int n)
Solver
worldPopUntil
in interface Solver
n
- number of world to poppublic void worldPushDuringPropagation()
Solver
worldPushDuringPropagation
in interface Solver
public void worldPopDuringPropagation()
Solver
worldPopDuringPropagation
in interface Solver
public int getWorldIndex()
Solver
getWorldIndex
in interface Solver
public void setVarIntSelector(VarSelector<IntDomainVar> varSelector)
Solver
setVarIntSelector
in interface Solver
public void setVarRealSelector(VarSelector<RealVar> realVarSelector)
Solver
setVarRealSelector
in interface Solver
public void setVarSetSelector(VarSelector<SetVar> setVarIntSelector)
Solver
setVarSetSelector
in interface Solver
public void setValIntIterator(ValIterator<IntDomainVar> valIterator)
Solver
setValIntIterator
in interface Solver
public void setValRealIterator(ValIterator<RealVar> realValIterator)
Solver
setValRealIterator
in interface Solver
public void setValSetIterator(ValIterator<SetVar> valIterator)
Solver
setValSetIterator
in interface Solver
public void setValIntSelector(ValSelector<IntDomainVar> valSelector)
Solver
setValIntSelector
in interface Solver
public void setValRealSelector(ValSelector<RealVar> valSelector)
Solver
setValRealSelector
in interface Solver
public void setValSetSelector(ValSelector<SetVar> setValIntSelector)
Solver
setValSetSelector
in interface Solver
public DisposableIterator<SConstraint> getIntConstraintIterator()
getIntConstraintIterator
in interface Solver
public DisposableIterator<SConstraint> getConstraintIterator()
getConstraintIterator
in interface Solver
public DisposableIterator<IntDomainVar> getIntVarIterator()
getIntVarIterator
in interface Solver
public DisposableIterator<SetVar> getSetVarIterator()
getSetVarIterator
in interface Solver
public DisposableIterator<RealVar> getRealVarIterator()
getRealVarIterator
in interface Solver
public DisposableIterator<TaskVar> getTaskVarIterator()
getTaskVarIterator
in interface Solver
public PropagationEngine getPropagationEngine()
Solver
getPropagationEngine
in interface Solver
public void propagate() throws ContradictionException
Solver
propagate
in interface Solver
ContradictionException
public IEnvironment getEnvironment()
Solver
getEnvironment
in interface Solver
public boolean checkDecisionVariables()
Solver
checkDecisionVariables
in interface Solver
public IntDomainVar getIntVar(int i)
Solver
getIntVar
in interface Solver
i
- index of the variable in the model
public IntDomainVar getIntVarQuick(int i)
getIntVarQuick
in interface Solver
public int getIntVarIndex(IntVar c)
getIntVarIndex
in interface Solver
public int getNbIntVars()
Solver
getNbIntVars
in interface Solver
public int getNbConstants()
Solver
getNbConstants
in interface Solver
public Var getIntConstant(int i)
Solver
getIntConstant
in interface Solver
i
- object (value) of the constant represented as an instantiated "variable"
public Var getRealConstant(double i)
Solver
getRealConstant
in interface Solver
i
- object (value) of the constant represented as an instantiated "variable"
public Collection<Integer> getIntConstantSet()
Solver
getIntConstantSet
in interface Solver
public Collection<Double> getRealConstantSet()
Solver
getRealConstantSet
in interface Solver
public RealVar getRealVar(int i)
Solver
getRealVar
in interface Solver
i
- index of the variable
public RealVar getRealVarQuick(int i)
getRealVarQuick
in interface Solver
public int getNbRealVars()
Solver
getNbRealVars
in interface Solver
public SetVar getSetVar(int i)
Solver
getSetVar
in interface Solver
i
- index of the variable
public SetVar getSetVarQuick(int i)
getSetVarQuick
in interface Solver
public int getNbSetVars()
Solver
getNbSetVars
in interface Solver
public TaskVar getTaskVar(int i)
Solver
getTaskVar
in interface Solver
i
- index of the variable
public TaskVar getTaskVarQuick(int i)
getTaskVarQuick
in interface Solver
public int getNbTaskVars()
Solver
getNbTaskVars
in interface Solver
public int getNbBooleanVars()
Solver
getNbBooleanVars
in interface Solver
public IntDomainVar[] getIntDecisionVars()
Solver
getIntDecisionVars
in interface Solver
public SetVar[] getSetDecisionVars()
Solver
getSetDecisionVars
in interface Solver
public RealVar[] getRealDecisionVars()
Solver
getRealDecisionVars
in interface Solver
public TaskVar[] getTaskDecisionVars()
Solver
getTaskDecisionVars
in interface Solver
public <MV extends Variable,SV extends Var> SV _to(MV mv, SV sv)
_to
in interface Solver
public <MV extends Variable,SV extends Var> SV[] _to(MV[] mv, SV[] sv)
_to
in interface Solver
public <MV extends Variable,SV extends Var> SV getVar(MV v)
getVar
in interface Solver
public <MV extends Variable,SV extends Var> SV[] getVar(Class<SV> clazz, MV[] mv)
getVar
in interface Solver
public IntDomainVar getVar(IntegerVariable v)
getVar
in interface Solver
public IntDomainVar[] getVar(IntegerVariable... v)
getVar
in interface Solver
public RealVar getVar(RealVariable v)
getVar
in interface Solver
public RealVar[] getVar(RealVariable... v)
getVar
in interface Solver
public SetVar getVar(SetVariable v)
getVar
in interface Solver
public SetVar[] getVar(SetVariable... v)
getVar
in interface Solver
public TaskVar getVar(TaskVariable v)
getVar
in interface Solver
public TaskVar[] getVar(TaskVariable... v)
getVar
in interface Solver
public IntDomainVar createIntVar(String name, int domainType, int min, int max)
createIntVar
in interface Solver
public IntDomainVar createBooleanVar(String name)
createBooleanVar
in interface Solver
public IntDomainVar createEnumIntVar(String name, int min, int max)
createEnumIntVar
in interface Solver
public IntDomainVar createBoundIntVar(String name, int min, int max)
createBoundIntVar
in interface Solver
public IntDomainVar createBinTreeIntVar(String name, int min, int max)
createBinTreeIntVar
in interface Solver
public IntDomainVar createEnumIntVar(String name, int[] sortedValues)
createEnumIntVar
in interface Solver
public IntDomainVar createBinTreeIntVar(String name, int[] sortedValues)
createBinTreeIntVar
in interface Solver
public RealVar createRealVal(String name, double min, double max)
createRealVal
in interface Solver
public RealConstant createRealIntervalConstant(double a, double b)
createRealIntervalConstant
in interface Solver
public RealConstant cst(double d)
Solver
cst
in interface Solver
d
- double
public RealConstant cst(double a, double b)
Solver
cst
in interface Solver
a
- lower boundb
- upper bound
public SetVar createSetVar(String name, int a, int b, int domainType)
createSetVar
in interface Solver
public SetVar createBoundSetVar(String name, int a, int b)
createBoundSetVar
in interface Solver
public SetVar createEnumSetVar(String name, int a, int b)
createEnumSetVar
in interface Solver
public TaskVar createTaskVar(String name, IntDomainVar start, IntDomainVar end, IntDomainVar duration)
createTaskVar
in interface Solver
public IntDomainVar createIntegerConstant(String name, int val)
createIntegerConstant
in interface Solver
public RealConstant createRealConstant(String name, double val)
createRealConstant
in interface Solver
public void setCardReasoning(boolean creas)
setCardReasoning
in interface Solver
public void post(SConstraint c)
post
in interface Solver
public void postCut(SConstraint c)
postCut
in interface Solver
public void eraseConstraint(SConstraint c)
eraseConstraint
in interface Solver
public int getNbIntConstraints()
Solver
getNbIntConstraints
in interface Solver
public AbstractIntSConstraint getIntConstraint(int i)
Solver
getIntConstraint
in interface Solver
i
- index of the constraint in the model
public IntExp plus(IntExp v1, int v2)
plus
in interface Solver
public IntExp plus(int v1, IntExp v2)
plus
in interface Solver
public IntExp plus(IntExp v1, IntExp v2)
plus
in interface Solver
public SConstraint lt(IntExp x, int c)
lt
in interface Solver
public SConstraint lt(int c, IntExp x)
lt
in interface Solver
public SConstraint lt(IntExp x, IntExp y)
lt
in interface Solver
public SConstraint leq(IntExp x, int c)
leq
in interface Solver
public SConstraint leq(int c, IntExp x)
leq
in interface Solver
public SConstraint leq(IntExp x, IntExp y)
leq
in interface Solver
public SConstraint geq(IntExp x, int c)
geq
in interface Solver
public SConstraint geq(int c, IntExp x)
geq
in interface Solver
public SConstraint geq(IntExp x, IntExp y)
geq
in interface Solver
public SConstraint eq(IntExp x, IntExp y)
eq
in interface Solver
public SConstraint eq(IntExp x, int c)
eq
in interface Solver
public SConstraint eq(int c, IntExp x)
eq
in interface Solver
public SConstraint eq(RealVar r, IntDomainVar i)
eq
in interface Solver
public SConstraint gt(IntExp x, IntExp y)
gt
in interface Solver
public SConstraint gt(IntExp x, int c)
gt
in interface Solver
public SConstraint gt(int c, IntExp x)
gt
in interface Solver
public SConstraint neq(IntExp x, int c)
neq
in interface Solver
public SConstraint neq(int c, IntExp x)
neq
in interface Solver
public SConstraint neq(IntExp x, IntExp y)
neq
in interface Solver
public IntExp scalar(int[] lc, IntDomainVar[] lv)
scalar
in interface Solver
public IntExp scalar(IntDomainVar[] lv, int[] lc)
scalar
in interface Solver
public IntExp sum(IntExp... lv)
sum
in interface Solver
public SConstraint getCstr(Constraint ic)
getCstr
in interface Solver
public LargeRelation makeLargeRelation(int[] min, int[] max, List<int[]> tuples, boolean feas)
makeLargeRelation
in interface Solver
public LargeRelation makeLargeRelation(int[] min, int[] max, List<int[]> tuples, boolean feas, int scheme)
makeLargeRelation
in interface Solver
public BinRelation makeBinRelation(int[] min, int[] max, List<int[]> mat, boolean feas, boolean bitset)
makeBinRelation
in interface Solver
public BinRelation makeBinRelation(int[] min, int[] max, List<int[]> mat, boolean feas)
makeBinRelation
in interface Solver
public SConstraint relationTupleAC(IntDomainVar[] vs, LargeRelation rela)
relationTupleAC
in interface Solver
public SConstraint relationTupleAC(IntDomainVar[] vs, LargeRelation rela, int ac)
relationTupleAC
in interface Solver
public void setHorizon(int horizon)
Solver
setHorizon
in interface Solver
horizon
- scheduling horizonpublic int getHorizon()
Solver
getHorizon
in interface Solver
public IntDomainVar getMakespan()
Solver
getMakespan
in interface Solver
public int getMakespanValue()
Solver
getMakespanValue
in interface Solver
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |