|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.common.util.tools.VariableUtils
public final class VariableUtils
Method Summary | ||
---|---|---|
static boolean |
checkConstant(IntegerVariable v,
int value)
|
|
static boolean |
checkInteger(VariableType v)
|
|
static boolean |
checkReal(VariableType v)
|
|
static boolean |
checkSet(VariableType v)
|
|
static int |
checkType(VariableType v1,
VariableType v2)
Check the type of each variable and compute a int value |
|
static IntDomainVar |
createDirVar(Solver solver,
TaskVar t1,
TaskVar t2)
|
|
static IntegerVariable |
createDirVariable(TaskVariable t1,
TaskVariable t2,
String... boolOptions)
|
|
static void |
exch(int[] a,
IntDomainVar[] vs,
int i,
int j)
|
|
static IntDomainVar[] |
getBoolDecisionVars(Solver solver)
|
|
static IntegerVariable[] |
getCardinalities(SetVariable... vars)
|
|
static int[] |
getConstantValues(IntVar... vars)
|
|
static
|
getDecisionList(List<E> decisions,
List<E> all,
Class<E> clazz)
Return an array of Variables, from decisions if not empty, otherwise from all . |
|
static IntegerVariable[] |
getDurationVariables(List<TaskVariable> tasks)
|
|
static IntegerVariable[] |
getDurationVariables(TaskVariable... tasks)
|
|
static IntDomainVar[] |
getDurationVars(List<TaskVar> tasks)
|
|
static IntDomainVar[] |
getDurationVars(TaskVar... tasks)
|
|
static IntegerVariable[] |
getEndVariables(List<TaskVariable> tasks)
|
|
static IntegerVariable[] |
getEndVariables(TaskVariable... tasks)
|
|
static IntDomainVar[] |
getEndVars(List<TaskVar> tasks)
|
|
static IntDomainVar[] |
getEndVars(TaskVar... tasks)
|
|
static IntDomainVar[] |
getIntVar(Solver solver,
Variable[] variables,
int begin,
int end)
|
|
static IntDomainVar[] |
getIntVars(Solver solver)
|
|
static RealVar[] |
getRealVars(Solver solver)
|
|
static SetVar[] |
getSetVar(Solver solver,
Variable[] variables,
int begin,
int end)
|
|
static SetVar[] |
getSetVars(Solver solver)
|
|
static IntegerVariable[] |
getStartVariables(List<TaskVariable> tasks)
|
|
static IntegerVariable[] |
getStartVariables(TaskVariable... tasks)
|
|
static IntDomainVar[] |
getStartVars(List<TaskVar> tasks)
|
|
static IntDomainVar[] |
getStartVars(TaskVar... tasks)
|
|
static TaskVar[] |
getTaskVar(Solver solver,
Variable[] variables,
int begin,
int end)
|
|
static TaskVar[] |
getTaskVars(Solver solver)
|
|
static IntDomainVar[] |
getVar(Solver solver,
IntegerVariable[] variables,
int begin,
int end)
|
|
static SetVar[] |
getVar(Solver solver,
SetVariable[] variables,
int begin,
int end)
|
|
static TaskVar[] |
getVar(Solver solver,
TaskVariable[] variables,
int begin,
int end)
|
|
static Var[] |
getVar(Solver solver,
Variable[] variables,
int begin,
int end)
|
|
static int |
partition(int[] a,
IntDomainVar[] vs,
int left,
int right)
|
|
static void |
quicksort(int[] a,
IntDomainVar[] vs,
int left,
int right)
A quickSort algorithm for sorting a table of variable according to a table of integers. |
|
static void |
reverse(int[] tab,
IntDomainVar[] vs)
Reverse a table of integer and variables (use for api on linear combination) |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static Var[] getVar(Solver solver, Variable[] variables, int begin, int end)
public static IntDomainVar[] getVar(Solver solver, IntegerVariable[] variables, int begin, int end)
public static SetVar[] getVar(Solver solver, SetVariable[] variables, int begin, int end)
public static TaskVar[] getVar(Solver solver, TaskVariable[] variables, int begin, int end)
public static IntDomainVar[] getIntVar(Solver solver, Variable[] variables, int begin, int end)
public static SetVar[] getSetVar(Solver solver, Variable[] variables, int begin, int end)
public static TaskVar[] getTaskVar(Solver solver, Variable[] variables, int begin, int end)
public static boolean checkInteger(VariableType v)
public static boolean checkSet(VariableType v)
public static boolean checkReal(VariableType v)
public static int checkType(VariableType v1, VariableType v2)
v1
- type of the first variablev2
- type of he second variable
public static void quicksort(int[] a, IntDomainVar[] vs, int left, int right)
a
- : the integer table to be sortedvs
- : the intvar table to be sorted according aleft
- right
- public static int partition(int[] a, IntDomainVar[] vs, int left, int right)
public static void exch(int[] a, IntDomainVar[] vs, int i, int j)
public static void reverse(int[] tab, IntDomainVar[] vs)
tab
- array of integer to reversevs
- array of variables to reversepublic static IntegerVariable createDirVariable(TaskVariable t1, TaskVariable t2, String... boolOptions)
public static IntegerVariable[] getStartVariables(TaskVariable... tasks)
public static IntegerVariable[] getDurationVariables(TaskVariable... tasks)
public static IntegerVariable[] getEndVariables(TaskVariable... tasks)
public static IntegerVariable[] getStartVariables(List<TaskVariable> tasks)
public static IntegerVariable[] getDurationVariables(List<TaskVariable> tasks)
public static IntegerVariable[] getEndVariables(List<TaskVariable> tasks)
public static IntDomainVar createDirVar(Solver solver, TaskVar t1, TaskVar t2)
public static IntDomainVar[] getStartVars(TaskVar... tasks)
public static IntDomainVar[] getDurationVars(TaskVar... tasks)
public static IntDomainVar[] getEndVars(TaskVar... tasks)
public static IntDomainVar[] getStartVars(List<TaskVar> tasks)
public static IntDomainVar[] getDurationVars(List<TaskVar> tasks)
public static IntDomainVar[] getEndVars(List<TaskVar> tasks)
public static IntDomainVar[] getIntVars(Solver solver)
public static SetVar[] getSetVars(Solver solver)
public static RealVar[] getRealVars(Solver solver)
public static TaskVar[] getTaskVars(Solver solver)
public static <E> E[] getDecisionList(List<E> decisions, List<E> all, Class<E> clazz)
decisions
if not empty, otherwise from all
.
clazz
is mandatory for array creation.
E
- decisions
- list of decisions variables (can be empty)all
- list of all variables of the solverclazz
- class of objects in decisions
and all
public static int[] getConstantValues(IntVar... vars)
public static IntegerVariable[] getCardinalities(SetVariable... vars)
public static boolean checkConstant(IntegerVariable v, int value)
public static IntDomainVar[] getBoolDecisionVars(Solver solver)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |