ProblemDelegator

java.lang.Object
- javax.constraints.ProblemDelegator

All Implemented Interfaces:: Problem

public abstract class ProblemDelegator
extends java.lang.Object
implements Problem

Field Summary
- Fields inherited from interface javax.constraints.Problem
  JSR331_VERSION

Constructor Summary

Constructors
Constructor and Description

ProblemDelegator(Problem problem)

Constructors
Constructor and Description
`ProblemDelegator(Problem problem)`

Method Summary

All Methods Instance Methods Concrete Methods Deprecated Methods
Modifier and Type	Method and Description
`Constraint`	`add(Constraint constraint)` Adds a Constraint "constraint" to the problem, then returns the constraint.
`Var`	`add(java.lang.String name, Var var)` Gives the Var variable "var" a new name "name", adds it to the problem, and returns the newly added Var.
`Var`	`add(Var var)` Adds a Var variable "var" to the problem, and returns the newly added Var.
`VarBool`	`add(VarBool var)` Adds a VarBool variable "var" to the problem, and returns the newly added VarBool.
`VarReal`	`add(VarReal var)` Adds a VarReal variable "var" to the problem, and returns the newly added VarReal.
`void`	`add(VarString var)`
`Constraint`	`allDiff(java.util.ArrayList<Var> vars)` This method create a new Constraint stating that all of the elements of the list of variables "vars" must take different values from each other.
`Constraint`	`allDiff(Var[] vars)` This method create a new Constraint stating that all of the elements of the array of variables "vars" must take different values from each other.
`boolean`	`areThereProbabilityConstraints()`
`Var`	`createVariable(java.lang.String name, int min, int max)` Creates a Var with the name "name" and domain [min;max] of the default domain type, and returns the newly added Var.
`VarReal`	`createVariableReal(java.lang.String name, double min, double max)` Creates a VarReal with the name "name" and domain [min;max] of the default domain type, and returns the newly added VarReal
`Var`	`element(java.util.ArrayList<Var> list, Var indexVar)`
`Var`	`element(int[] array, Var indexVar)` Returns a constrained integer variable that is an element of the integer "array" with index defined as another constrained integer variable "indexVar".
`VarSet`	`element(java.util.Set<java.lang.Integer>[] sets, Var indexVar)` Creates a set variable that corresponds to sets[index]
`Var`	`element(Var[] array, Var indexVar)` Returns a constrained integer variable that is an element of the "array" of variables with index defined as another constrained integer variable "indexVar".
`java.lang.String`	`getAPIVersion()` Returns JSR331 API version number
`Constraint`	`getConstraint(java.lang.String name)` Returns the Constraint the name "name", or null if no such constraints exists in the problem.
`Constraint[]`	`getConstraints()` Returns an array of Constraints previously added to the problem.
`Constraint`	`getFalseConstraint()` Returns the constant constraint that always will fail when it is posted or executed.
`java.lang.String`	`getImplVersion()` Returns JSR331 Implementation version number
`java.lang.String`	`getName()` Returns the problem name
`double`	`getRealPrecision()` Returns the precision for VarReals
`Solver`	`getSolver()` Returns an instance of a Solver associated with this problem.
`Var`	`getTotalConstraintViolation()`
`Constraint`	`getTrueConstraint()` Returns the constant constraint that always succeeds when it is posted or executed.
`Var`	`getVar(java.lang.String name)` Returns the Var variable with the name "name", or null if no such variable exists in the problem.
`Var[]`	`getVarArray(java.lang.String name)` Returns the array of Var variables with the name "name", or null if no such array exists in the problem.
`VarBool[]`	`getVarBools()` Returns an array containing the VarBool variables previously added to the problem.
`VarMatrix`	`getVarMatrix(java.lang.String name)`
`VarReal`	`getVarReal(java.lang.String name)` Returns the VarReal variable with the name "name", or null if no such variable exists in the problem.
`VarReal[]`	`getVarReals()` Returns an array containing the VarReal variables previously added to the problem.
`Var[]`	`getVars()` Returns an array containing the Var variables previously added to the problem.
`VarReal[]`	`getVarSets()` Returns an array containing the VarSet variables previously added to the problem.
`VarString`	`getVarString(java.lang.String name)`
`VarString[]`	`getVarStrings()`
`Constraint`	`linear(Var var, java.lang.String oper, int value)` Creates a constraint: var "oper" value without posting
`Constraint`	`linear(VarString var, java.lang.String oper, java.lang.String value)`
`Constraint`	`linear(VarString var1, java.lang.String oper, VarString var2)`
`Constraint`	`linear(Var var1, java.lang.String oper, Var var2)` Creates a constraint: var1 "oper" var2 without posting
`void`	`loadFromXML(java.io.InputStream in)` Loads a Problem represented by the XML document on the specified input stream into this instance of the Problem
`void`	`log(java.util.ArrayList<Var> vars)`
`void`	`log(java.lang.String text)` Logs (displays) the String parameter "text"
`void`	`log(Var[] vars)` Logs the integer constrained variables contained in the array "vars".
`void`	`log(VarReal[] vars)` Logs the real constrained variables contained in the array "vars".
`Var`	`max(java.util.ArrayList<Var> listOfVariables)`
`Var`	`max(Var[] arrayOfVariables)` Returns a constrained integer variable that is equal to the maximal variable in the array "arrayOfVariables" when they are all instantiated.
`Var`	`max(Var var1, Var var2)` Returns a constrained integer variable that is equal to the maximal of two variablea var1 or var 2 when they are both instantiated.
`Var`	`min(java.util.ArrayList<Var> listOfVariables)`
`Var`	`min(Var[] arrayOfVariables)` Returns a constrained integer variable that is equal to the minimal variable in the array "arrayOfVariables" when they are all instantiated.
`Var`	`min(Var var1, Var var2)` Returns a constrained integer variable that is equal to the minimal of two variablea var1 or var 2 when they are both instantiated.
`Constraint`	`post(java.util.ArrayList<Var> vars, java.lang.String oper, int value)` Creates and posts a constraint: sum of vars 'oper' value
`Constraint`	`post(java.util.ArrayList<Var> vars, java.lang.String oper, Var var)` Creates and posts a constraint: sum of vars "oper" var
`void`	`post(Constraint c)` Posts the constraint "c".
`Constraint`	`post(double[] array, ConstrainedVariable[] vars, java.lang.String oper, ConstrainedVariable var)` Creates and posts a constraint: array*vars 'oper' var
`Constraint`	`post(double[] array, ConstrainedVariable[] vars, java.lang.String oper, double value)` Creates and posts a constraint: array*vars 'oper' value
`Constraint`	`post(double[] coefficients, Var[] vars, java.lang.String oper, double value)`
`Constraint`	`post(double[] array, VarReal[] vars, java.lang.String oper, double value)` Creates and posts a constraint: array*vars 'oper' value
`Constraint`	`post(double[] array, VarReal[] vars, java.lang.String oper, VarReal var)` Creates and posts a constraint: array*vars 'oper' var
`Constraint`	`post(int[] array, java.util.ArrayList<Var> vars, java.lang.String oper, int value)`
`Constraint`	`post(int[] array, Var[] vars, java.lang.String oper, int value)` Deprecated.
`Constraint`	`post(int[] array, Var[] vars, java.lang.String oper, Var var)` Deprecated.
`Constraint`	`post(java.lang.String name, java.lang.String symbolicExpression)` Creates a Constraint based on the symbolicExpression such as "xy-z = 3r", adds this constraint to the problem, and returns the newly added Constraint.
`Constraint`	`post(Var[] vars, java.lang.String oper, int value)` Creates and posts a constraint: sum of vars 'oper' value
`Constraint`	`post(Var[] vars, java.lang.String oper, Var var)` Creates and posts a constraint: sum of vars "oper" var
`Constraint`	`post(VarReal[] vars, java.lang.String oper, double value)` Creates and posts a constraint: sum of vars "oper" double value
`Constraint`	`post(VarReal[] vars, java.lang.String oper, VarReal var)` Creates and posts a constraint: sum of vars "oper" var
`Constraint`	`post(VarReal var, java.lang.String oper, double value)` Creates and posts a constraint: var "oper" double value
`Constraint`	`post(VarReal var, java.lang.String oper, int value)` Creates and posts a constraint: var "oper" integer value
`Constraint`	`post(VarReal var1, java.lang.String oper, Var var2)` Creates and posts a constraint: var1 "oper" var2
`Constraint`	`post(VarReal var1, java.lang.String oper, VarReal var2)` Creates and posts a constraint: var1 "oper" var2
`Constraint`	`post(Var var, java.lang.String oper, int value)` Creates and posts a constraint: var "oper" value
`Constraint`	`post(VarString var, java.lang.String oper, java.lang.String value)`
`Constraint`	`post(VarString var1, java.lang.String oper, VarString var2)`
`Constraint`	`post(Var var1, java.lang.String oper, Var var2)` Creates and posts a constraint: var1 "oper" var2
`Constraint`	`post(Var var1, java.lang.String oper, VarReal var2)` Creates and posts a constraint: var1 "oper" var2
`Constraint`	`post(Var var1, Var var2, java.lang.String oper, int value)` Creates and posts a constraint: (var1 + var2) "oper" value
`Constraint`	`post(Var var1, Var var2, java.lang.String oper, Var var)` Creates and posts a constraint: (var1 + var2) "oper" var
`Constraint`	`postAllDiff(java.util.ArrayList<Var> vars)` Similar to postAllDiff for variables saved in the ArrayList vars
`Constraint`	`postAllDiff(Var[] vars)` This constraint is a synonym for postAllDifferent
`Constraint`	`postAllDiff(VarString[] varStrings)` Posts allDiff constraint for an array of VarString variables
`Constraint`	`postAllDifferent(java.util.ArrayList<Var> vars)` Similar to postAllDifferent for variables saved in the ArrayList vars
`Constraint`	`postAllDifferent(Var[] vars)` Creates and posts a new Constraint stating that all of the elements of the array of variables "vars" must take different values from each other.
`Constraint`	`postAnd(Constraint c1, Constraint c2)` Creates and posts a constraint an "AND" Constraint.
`Constraint`	`postCardinality(java.util.ArrayList<Var> vars, int cardValue, java.lang.String oper, int value)`
`Constraint`	`postCardinality(java.util.ArrayList<Var> vars, int cardValue, java.lang.String oper, Var var)`
`Constraint`	`postCardinality(java.util.ArrayList<Var> vars, Var cardVar, java.lang.String oper, int value)`
`Constraint`	`postCardinality(java.util.ArrayList<Var> vars, Var cardVar, java.lang.String oper, Var var)`
`Constraint`	`postCardinality(Var[] vars, int cardValue, java.lang.String oper, int value)` This method creates and posts a new cardinality constraint �cardinality(vars,cardValue) 'oper' value�.
`Constraint`	`postCardinality(Var[] vars, int cardValue, java.lang.String oper, Var var)` This method is similar to the one above but instead of �value� the �cardinality(vars,cardValue)� is being constrained by �var�.
`Constraint`	`postCardinality(Var[] vars, Var cardVar, java.lang.String oper, int value)` This method is similar to the one above but instead of �var� it uses "value"
`Constraint`	`postCardinality(Var[] vars, Var cardVar, java.lang.String oper, Var var)` This method is similar to the one above but instead of �cardValue� it uses "cardVar"
`Constraint`	`postElement(int[] array, Var indexVar, java.lang.String oper, int value)` Creates and posts a new constraint: array[indexVar] 'oper' value Here "array[indexVar]" denotes a constrained integer variable, which domain consists of integers array[i] where i is within domain of the "indexVar".
`Constraint`	`postElement(int[] array, Var indexVar, java.lang.String oper, Var var)` Creates and posts a constraint: array[indexVar] 'oper' var Here "array[indexVar]" denotes a constrained integer variable, which domain consists of integers array[i] where i is within domain of the "indexVar".
`Constraint`	`postElement(java.util.Set[] arrayOfSets, Var indexVar, java.lang.String oper, VarSet var)` Creates and posts a constraint: arrayOfSets[indexVar] 'oper' setVar Here "arrayOfSets[indexVar]" denotes a constrained set variable, which domain consists of sets of integers arrayOfSets[i] where i is within domain of the "indexVar".
`Constraint`	`postElement(Var[] vars, Var indexVar, java.lang.String oper, int value)` Posts a constraint: vars[indexVar] 'oper' value
`Constraint`	`postElement(Var[] vars, Var indexVar, java.lang.String oper, Var var)` Posts a new constraint: vars[indexVar] 'oper' var
`Constraint`	`postGlobalCardinality(java.util.ArrayList<Var> vars, int[] values, int[] cardMin, int[] cardMax)`
`Constraint`	`postGlobalCardinality(java.util.ArrayList<Var> vars, int[] values, Var[] cardinalityVars)`
`Constraint`	`postGlobalCardinality(Var[] vars, int[] values, int[] cardMin, int[] cardMax)` Creates and posts a new global cardinality constraint that states:
`Constraint`	`postGlobalCardinality(Var[] vars, int[] values, Var[] cardinalityVars)` Creates and posts a new global cardinality constraint that states:
`Constraint`	`postIfThen(Constraint constraint1, Constraint constraint2)` Creates and posts a constraint that states the implication: if constraint1 then constraint2.
`Constraint`	`postIfThen(VarBool var1, VarBool var2)` Returns a Constraint that states the implication: "if boolean variable var1 is true then boolean variable var2 is also true"
`Constraint`	`postMax(Var[] vars, java.lang.String oper, int value)` Creates and posts a constraint: max(vars) "oper" value where max(vars) is a maximal variable in the array "vars" when they are all instantiated.
`Constraint`	`postMax(Var[] vars, java.lang.String oper, Var var)` Creates and posts a constraint: max(vars) "oper" var where max(vars) is a maximal variable in the array "vars" when they are all instantiated.
`Constraint`	`postMin(Var[] vars, java.lang.String oper, int value)` Creates and posts a constraint: min(vars) "oper" value where max(vars) is a minimal variable in the array "vars" when they are all instantiated.
`Constraint`	`postMin(Var[] vars, java.lang.String oper, Var var)` Creates and posts a constraint: min(vars) "oper" var where max(vars) is a minimal variable in the array "vars" when they are all instantiated.
`Constraint`	`postOr(Constraint c1, Constraint c2)` Creates and posts a constraint an "OR" Constraint.
`Constraint`	`postScalProd(Var var, java.lang.String oper, int[] arrayOfValues, Var[] arrayOfVariables)` Creates and posts a constraint: var "oper" scalProd(arrayOfValues,arrayOfVariables)
`VarReal`	`scalProd(double[] arrayOfValues, ConstrainedVariable[] arrayOfVariables)` Returns a real constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
`VarReal`	`scalProd(double[] arrayOfValues, VarReal[] arrayOfVariables)` Returns a real constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
`Var`	`scalProd(int[] arrayOfValues, java.util.ArrayList<Var> listOfVariables)`
`Var`	`scalProd(int[] arrayOfValues, Var[] arrayOfVariables)` Returns an integer constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
`void`	`setDomainType(DomainType type)` Sets the domain type that will be used as the default for subsequent creation of variables using addVar-methods
`void`	`setName(java.lang.String name)` Sets the problem name
`void`	`setRealPrecision(double value)` Sets the precision for VarReals
`void`	`setSolver(Solver solver)` Associates a "solver" with the problem making it available through the method "getSolver()".
`void`	`storeToXML(java.io.OutputStream os, java.lang.String comment)` Emits an XML document representing this instance of the Problem.
`Var`	`sum(java.util.ArrayList<Var> vars)` Returns a constrained integer variable that is constrained to be the sum of the variables in the ArrayList of Var "vars".
`Var`	`sum(Var[] vars)` Returns a constrained integer variable that is constrained to be the sum of the variables in the array "vars".
`VarReal`	`sum(VarReal[] vars)` Returns a constrained integer variable that is constrained to be the sum of the variables in the array "vars".
`VarReal`	`sum(VarReal var1, VarReal var2)` Returns a constrained real variable that is constrained to be the sum of the variables var1 and var2.
`VarReal`	`sum(VarReal var1, VarReal var2, VarReal var3)` Returns a constrained real variable that is constrained to be the sum of the variables var1, var2, and var3.
`Var`	`sum(Var var1, Var var2)` Returns a constrained integer variable that is constrained to be the sum of the variables var1 and var2.
`Var`	`sum(Var var1, Var var2, Var var3)` Returns a constrained integer variable that is constrained to be the sum of the variables var1, var2, and var3.
`Var`	`variable(int[] domain)` An equivalent of var("",domain)
`Var`	`variable(int min, int max)` Creates a Var with domain [min;max].
`Var`	`variable(java.lang.String name, int[] domain)` Creates a Var with the name "name" and domain containing the values in the array "domain" of the default domain type, adds this variable to the problem, and returns the newly added Var.
`Var`	`variable(java.lang.String name, int min, int max)` Creates a Var by calling createVariable(name,min,max) and adds this variable to the problem.
`Var`	`variable(java.lang.String name, int min, int max, DomainType domainType)` Similar to variable(String name, int min, int max) but also has one more parameter that defines the default domain type.
`Var[]`	`variableArray(java.lang.String name, int min, int max, int size)` Creates an array of Var variables with the name "name" and domains [min;max], adds this array of variables to the problem, and returns the newly added Var array.
`VarBool`	`variableBool()` Creates a boolean constrained variable without name.
`VarBool`	`variableBool(java.lang.String name)` Creates a boolean constrained variable with the name "name" and adds this variable to the problem, and returns the newly added VarBool.
`VarMatrix`	`variableMatrix(java.lang.String name, int min, int max, int rows, int columns)`
`VarReal`	`variableReal(java.lang.String name)` Creates a VarReal with the name "name" and default domain [Problem.REAL_MIN;Problem.REAL_MAX], adds this variable to the problem, and returns the newly added VarReal.
`VarReal`	`variableReal(java.lang.String name, double min, double max)` Creates a VarReal with the name "name" and domain [min;max], adds this variable to the problem, and returns the newly added VarReal.
`VarSet`	`variableSet(java.lang.String name, int[] values)` Creates a constrained set variable VarSet with the name "name" and which domain consists of integer values from the array "value".
`VarSet`	`variableSet(java.lang.String name, int min, int max)` Creates a constrained set variable VarSet with the name "name" and domain of integer values from "min" to "max" inclusive.
`VarSet`	`variableSet(java.lang.String name, java.util.Set set)` Creates a constrained set variable VarSet with the name "name" and which domain consists of integer values from the Set "set".
`VarString`	`variableString(java.lang.String name, java.lang.String[] allStrings)`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ProblemDelegator
```
public ProblemDelegator(Problem problem)
```
- Method Detail
  - add
```
public Constraint add(Constraint constraint)
```
    Description copied from interface: Problem
    
    Adds a Constraint "constraint" to the problem, then returns the constraint. The Constraint is not posted.
    
    Specified by:
    
    add in interface Problem
    
    Parameters:
    
    constraint - the constraint to add to the problem.
    
    Returns:
    
    the Constraint added to the problem.
  - add
```
public Var add(java.lang.String name,
               Var var)
```
    Description copied from interface: Problem
    
    Gives the Var variable "var" a new name "name", adds it to the problem, and returns the newly added Var.
    
    Specified by:
    
    add in interface Problem
    
    Parameters:
    
    name - the new name for var.
    
    var - the variable to add to the problem.
    
    Returns:
    
    the Var variable added to the problem.
  - add
```
public Var add(Var var)
```
    Description copied from interface: Problem
    
    Adds a Var variable "var" to the problem, and returns the newly added Var.
    
    Specified by:
    
    add in interface Problem
    
    Parameters:
    
    var - the variable to add to the problem.
    
    Returns:
    
    the Var variable added to the problem.
  - add
```
public VarBool add(VarBool var)
```
    Description copied from interface: Problem
    
    Adds a VarBool variable "var" to the problem, and returns the newly added VarBool.
    
    Specified by:
    
    add in interface Problem
    
    Parameters:
    
    var - the booolean constrained variable to add to the problem.
    
    Returns:
    
    the VarBool variable added to the problem.
  - add
```
public VarReal add(VarReal var)
```
    Description copied from interface: Problem
    
    Adds a VarReal variable "var" to the problem, and returns the newly added VarReal.
    
    Specified by:
    
    add in interface Problem
    
    Parameters:
    
    var - the real variable to add to the problem.
    
    Returns:
    
    the VarReal variable added to the problem.
  - add
```
public void add(VarString var)
```
    Specified by:
    
    add in interface Problem
  - allDiff
```
public Constraint allDiff(java.util.ArrayList<Var> vars)
```
    Description copied from interface: Problem
    
    This method create a new Constraint stating that all of the elements of the list of variables "vars" must take different values from each other. To have an effect the constraint should be posted using Constraint's methods post() or post(ConsistencyLevel consistencyLevel)
    
    Specified by:
    
    allDiff in interface Problem
    
    Parameters:
    
    vars - the ArrayList of Var which must all take different values.
    
    Returns:
    
    a newly created constraint
  - allDiff
```
public Constraint allDiff(Var[] vars)
```
    Description copied from interface: Problem
    
    This method create a new Constraint stating that all of the elements of the array of variables "vars" must take different values from each other. To have an effect the constraint should be posted using Constraint's methods post() or post(ConsistencyLevel consistencyLevel)
    
    Specified by:
    
    allDiff in interface Problem
    
    Parameters:
    
    vars - the array of Vars which must all take different values.
    
    Returns:
    
    a newly created constraint
  - areThereProbabilityConstraints
```
public boolean areThereProbabilityConstraints()
```
    Specified by:
    
    areThereProbabilityConstraints in interface Problem
  - createVariable
```
public Var createVariable(java.lang.String name,
                          int min,
                          int max)
```
    Description copied from interface: Problem
    
    Creates a Var with the name "name" and domain [min;max] of the default domain type, and returns the newly added Var. The variable will be created with the default domain type or by the latest call of the method setDomainType().
    
    Specified by:
    
    createVariable in interface Problem
    
    Parameters:
    
    name - the name for the new Var.
    
    min - the minimum value in the domain for the new Var.
    
    max - the maximum value in the domain for the new Var.
    
    Returns:
    
    the Var variable created and added to the problem.
  - createVariableReal
```
public VarReal createVariableReal(java.lang.String name,
                                  double min,
                                  double max)
```
    Description copied from interface: Problem
    
    Creates a VarReal with the name "name" and domain [min;max] of the default domain type, and returns the newly added VarReal
    
    Specified by:
    
    createVariableReal in interface Problem
    
    Parameters:
    
    name - the name for the new VarReal.
    
    min - the minimum value in the domain for the new VarReal.
    
    max - the maximum value in the domain for the new VarReal.
    
    Returns:
    
    the VarReal variable created and added to the problem.
  - element
```
public Var element(java.util.ArrayList<Var> list,
                   Var indexVar)
```
    Specified by:
    
    element in interface Problem
  - element
```
public Var element(int[] array,
                   Var indexVar)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is an element of the integer "array" with index defined as another constrained integer variable "indexVar". When index is bound to the value i, the value of the resulting variable is array[i]. More generally, the domain of the returned variable is the set of values array[i] where the i are in the domain of index.
    
    Specified by:
    
    element in interface Problem
    
    Parameters:
    
    array - an array of integers
    
    indexVar - a constrained integer variable whose domain serves as an index into the array.
    
    Returns:
    
    a constrained integer variable whose domain is the set of values array[i] where each i is in the domain of "indexVar".
  - element
```
public VarSet element(java.util.Set<java.lang.Integer>[] sets,
                      Var indexVar)
               throws java.lang.Exception
```
    Description copied from interface: Problem
    
    Creates a set variable that corresponds to sets[index]
    
    Specified by:
    
    element in interface Problem
    
    Parameters:
    
    sets - an array of Set objects
    
    indexVar - a constrained integer variable
    
    Returns:
    
    a set variable that corresponds to sets[index]
    
    Throws:
    
    java.lang.Exception
  - element
```
public Var element(Var[] array,
                   Var indexVar)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is an element of the "array" of variables with index defined as another constrained integer variable "indexVar". When index is bound to the value i, the value of the resulting variable is array[i]. More generally, the domain of the returned variable is the set of values array[i] where the i are in the domain of index.
    
    Specified by:
    
    element in interface Problem
    
    Parameters:
    
    array - an array of Var variables.
    
    indexVar - a constrained integer variable whose domain serves as an index into the array.
    
    Returns:
    
    a constrained integer variable whose domain is the set of values array[i] where each i is in the domain of "indexVar".
  - getAPIVersion
```
public java.lang.String getAPIVersion()
```
    Description copied from interface: Problem
    
    Returns JSR331 API version number
    
    Specified by:
    
    getAPIVersion in interface Problem
    
    Returns:
    
    JSR331 API version number
  - getConstraint
```
public Constraint getConstraint(java.lang.String name)
```
    Description copied from interface: Problem
    
    Returns the Constraint the name "name", or null if no such constraints exists in the problem.
    
    Specified by:
    
    getConstraint in interface Problem
    
    Parameters:
    
    name - the name of the desired constraint.
    
    Returns:
    
    the Constraint the name "name", or null if no such constraints exists in the problem.
  - getConstraints
```
public Constraint[] getConstraints()
```
    Description copied from interface: Problem
    
    Returns an array of Constraints previously added to the problem.
    
    Specified by:
    
    getConstraints in interface Problem
    
    Returns:
    
    an array of Constraints previously added to the problem.
  - getFalseConstraint
```
public Constraint getFalseConstraint()
```
    Description copied from interface: Problem
    
    Returns the constant constraint that always will fail when it is posted or executed.
    
    Specified by:
    
    getFalseConstraint in interface Problem
    
    Returns:
    
    the False Constraint
  - getImplVersion
```
public java.lang.String getImplVersion()
```
    Description copied from interface: Problem
    
    Returns JSR331 Implementation version number
    
    Specified by:
    
    getImplVersion in interface Problem
    
    Returns:
    
    JSR331 Implementation version number
  - getName
```
public java.lang.String getName()
```
    Description copied from interface: Problem
    
    Returns the problem name
    
    Specified by:
    
    getName in interface Problem
    
    Returns:
    
    the problem name
  - getRealPrecision
```
public double getRealPrecision()
```
    Description copied from interface: Problem
    
    Returns the precision for VarReals
    
    Specified by:
    
    getRealPrecision in interface Problem
    
    Returns:
    
    the precision for VarReals
  - getSolver
```
public Solver getSolver()
```
    Description copied from interface: Problem
    
    Returns an instance of a Solver associated with this problem. If a solver is not defined yet, creates a new Solver and associates it with the problem.
    
    Specified by:
    
    getSolver in interface Problem
    
    Returns:
    
    a solver
  - getTotalConstraintViolation
```
public Var getTotalConstraintViolation()
```
    Specified by:
    
    getTotalConstraintViolation in interface Problem
  - getTrueConstraint
```
public Constraint getTrueConstraint()
```
    Description copied from interface: Problem
    
    Returns the constant constraint that always succeeds when it is posted or executed.
    
    Specified by:
    
    getTrueConstraint in interface Problem
    
    Returns:
    
    the True Constraint
  - getVar
```
public Var getVar(java.lang.String name)
```
    Description copied from interface: Problem
    
    Returns the Var variable with the name "name", or null if no such variable exists in the problem.
    
    Specified by:
    
    getVar in interface Problem
    
    Parameters:
    
    name - the name of the desired variable.
    
    Returns:
    
    the Var variable with the name "name", or null if no such variable exists in the problem.
  - getVarArray
```
public Var[] getVarArray(java.lang.String name)
```
    Description copied from interface: Problem
    
    Returns the array of Var variables with the name "name", or null if no such array exists in the problem.
    
    Specified by:
    
    getVarArray in interface Problem
    
    Parameters:
    
    name - the name of the desired array of Var variables.
    
    Returns:
    
    the array of Var variables with the name "name", or null if no such array exists in the problem.
  - getVarBools
```
public VarBool[] getVarBools()
```
    Description copied from interface: Problem
    
    Returns an array containing the VarBool variables previously added to the problem.
    
    Specified by:
    
    getVarBools in interface Problem
    
    Returns:
    
    an array containing the VarBool variables previously added to the problem.
  - getVarMatrix
```
public VarMatrix getVarMatrix(java.lang.String name)
```
    Specified by:
    
    getVarMatrix in interface Problem
  - getVarReal
```
public VarReal getVarReal(java.lang.String name)
```
    Description copied from interface: Problem
    
    Returns the VarReal variable with the name "name", or null if no such variable exists in the problem.
    
    Specified by:
    
    getVarReal in interface Problem
    
    Parameters:
    
    name - the name of the desired variable.
    
    Returns:
    
    the VarReal variable with the name "name", or null if no such variable exists in the problem.
  - getVarReals
```
public VarReal[] getVarReals()
```
    Description copied from interface: Problem
    
    Returns an array containing the VarReal variables previously added to the problem.
    
    Specified by:
    
    getVarReals in interface Problem
    
    Returns:
    
    an array containing the VarReal variables previously added to the problem.
  - getVars
```
public Var[] getVars()
```
    Description copied from interface: Problem
    
    Returns an array containing the Var variables previously added to the problem.
    
    Specified by:
    
    getVars in interface Problem
    
    Returns:
    
    an array containing the Var variables previously added to the problem.
  - getVarSets
```
public VarReal[] getVarSets()
```
    Description copied from interface: Problem
    
    Returns an array containing the VarSet variables previously added to the problem.
    
    Specified by:
    
    getVarSets in interface Problem
    
    Returns:
    
    an array containing the VarSet variables previously added to the problem.
  - getVarString
```
public VarString getVarString(java.lang.String name)
```
    Specified by:
    
    getVarString in interface Problem
  - getVarStrings
```
public VarString[] getVarStrings()
```
    Specified by:
    
    getVarStrings in interface Problem
  - linear
```
public Constraint linear(Var var,
                         java.lang.String oper,
                         int value)
```
    Description copied from interface: Problem
    
    Creates a constraint: var "oper" value without posting
    
    Specified by:
    
    linear in interface Problem
    
    Returns:
    
    a newly created constraint
  - linear
```
public Constraint linear(VarString var,
                         java.lang.String oper,
                         java.lang.String value)
```
    Specified by:
    
    linear in interface Problem
  - linear
```
public Constraint linear(VarString var1,
                         java.lang.String oper,
                         VarString var2)
```
    Specified by:
    
    linear in interface Problem
  - linear
```
public Constraint linear(Var var1,
                         java.lang.String oper,
                         Var var2)
```
    Description copied from interface: Problem
    
    Creates a constraint: var1 "oper" var2 without posting
    
    Specified by:
    
    linear in interface Problem
    
    Returns:
    
    a newly created constraint
  - loadFromXML
```
public void loadFromXML(java.io.InputStream in)
                 throws java.lang.Exception
```
    Description copied from interface: Problem
    
    Loads a Problem represented by the XML document on the specified input stream into this instance of the Problem
    
    Specified by:
    
    loadFromXML in interface Problem
    
    Parameters:
    
    in - the input stream from which to read the XML document.
    
    Throws:
    
    java.lang.Exception - if reading from the specified input stream results in an IOException or data on input stream does not constitute a valid XML document with the mandated document type.
  - log
```
public void log(java.util.ArrayList<Var> vars)
```
    Specified by:
    
    log in interface Problem
  - log
```
public void log(java.lang.String text)
```
    Description copied from interface: Problem
    
    Logs (displays) the String parameter "text"
    
    Specified by:
    
    log in interface Problem
  - log
```
public void log(Var[] vars)
```
    Description copied from interface: Problem
    
    Logs the integer constrained variables contained in the array "vars".
    
    Specified by:
    
    log in interface Problem
    
    Parameters:
    
    vars - the array of Vars to log.
  - log
```
public void log(VarReal[] vars)
```
    Description copied from interface: Problem
    
    Logs the real constrained variables contained in the array "vars".
    
    Specified by:
    
    log in interface Problem
    
    Parameters:
    
    vars - the array of VarReals to log.
  - max
```
public Var max(java.util.ArrayList<Var> listOfVariables)
```
    Specified by:
    
    max in interface Problem
  - max
```
public Var max(Var[] arrayOfVariables)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is equal to the maximal variable in the array "arrayOfVariables" when they are all instantiated.
    
    Specified by:
    
    max in interface Problem
    
    Parameters:
    
    arrayOfVariables - the array of variables from which we desire the maximal variable.
    
    Returns:
    
    a constrained integer variable that is equal to the maximal variable in the array "arrayOfVariables" when they are all instantiated.
  - max
```
public Var max(Var var1,
               Var var2)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is equal to the maximal of two variablea var1 or var 2 when they are both instantiated.
    
    Specified by:
    
    max in interface Problem
    
    Parameters:
    
    var1 - integer variable
    
    var2 - integer variable
    
    Returns:
    
    a constrained integer variable that is equal to the maximal of two variablea var1 or var 2 when they are both instantiated.
  - min
```
public Var min(java.util.ArrayList<Var> listOfVariables)
```
    Specified by:
    
    min in interface Problem
  - min
```
public Var min(Var[] arrayOfVariables)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is equal to the minimal variable in the array "arrayOfVariables" when they are all instantiated.
    
    Specified by:
    
    min in interface Problem
    
    Parameters:
    
    arrayOfVariables - the array of variables from which we desire the minimal variable.
    
    Returns:
    
    a constrained integer variable that is equal to the minimal variable in the array "arrayOfVariables" when they are all instantiated.
  - min
```
public Var min(Var var1,
               Var var2)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is equal to the minimal of two variablea var1 or var 2 when they are both instantiated.
    
    Specified by:
    
    min in interface Problem
    
    Parameters:
    
    var1 - integer variable
    
    var2 - integer variable
    
    Returns:
    
    a constrained integer variable that is equal to the minimal of two variablea var1 or var 2 when they are both instantiated.
  - post
```
public Constraint post(java.util.ArrayList<Var> vars,
                       java.lang.String oper,
                       int value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: sum of vars 'oper' value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(java.util.ArrayList<Var> vars,
                       java.lang.String oper,
                       Var var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: sum of vars "oper" var
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public void post(Constraint c)
```
    Description copied from interface: Problem
    
    Posts the constraint "c". Throws a RuntimeException if a failure happens during the posting.
    
    Specified by:
    
    post in interface Problem
    
    Parameters:
    
    c - the constraint to post.
  - post
```
public Constraint post(double[] array,
                       ConstrainedVariable[] vars,
                       java.lang.String oper,
                       ConstrainedVariable var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: array*vars 'oper' var
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(double[] array,
                       ConstrainedVariable[] vars,
                       java.lang.String oper,
                       double value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: array*vars 'oper' value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(double[] coefficients,
                       Var[] vars,
                       java.lang.String oper,
                       double value)
```
  - post
```
public Constraint post(double[] array,
                       VarReal[] vars,
                       java.lang.String oper,
                       double value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: array*vars 'oper' value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(double[] array,
                       VarReal[] vars,
                       java.lang.String oper,
                       VarReal var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: array*vars 'oper' var
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(int[] array,
                       java.util.ArrayList<Var> vars,
                       java.lang.String oper,
                       int value)
```
    Specified by:
    
    post in interface Problem
  - post
```
@Deprecated
public Constraint post(int[] array,
                                    Var[] vars,
                                    java.lang.String oper,
                                    int value)
```
    Deprecated.
    
    Description copied from interface: Problem
    
    Creates and posts a constraint: array*vars 'oper' value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
@Deprecated
public Constraint post(int[] array,
                                    Var[] vars,
                                    java.lang.String oper,
                                    Var var)
```
    Deprecated.
    
    Description copied from interface: Problem
    
    Creates and posts a constraint: array*vars 'oper' var
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(java.lang.String name,
                       java.lang.String symbolicExpression)
```
    Description copied from interface: Problem
    
    Creates a Constraint based on the symbolicExpression such as "x*y-z = 3*r", adds this constraint to the problem, and returns the newly added Constraint. It is assumed that all variables in the expression were previously created under names used within this expression. If the returned Constraint is null, there is either an error inside the symbolicExpression or there is no concrete solver implementation of this method. In either case, the constraint will not have been added to the problem.
    
    Specified by:
    
    post in interface Problem
    
    Parameters:
    
    name - the name for a new constraint
    
    symbolicExpression - a string that defines a constrained expression that uses already defined variables, e.g. "x*y-z = 3*r"
    
    Returns:
    
    the constraint created and added to the problem, or null if there is an error inside the symbolicExpression or if this method is not defined by a concrete solver implementation.
  - post
```
public Constraint post(Var[] vars,
                       java.lang.String oper,
                       int value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: sum of vars 'oper' value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(Var[] vars,
                       java.lang.String oper,
                       Var var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: sum of vars "oper" var
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(VarReal[] vars,
                       java.lang.String oper,
                       double value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: sum of vars "oper" double value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(VarReal[] vars,
                       java.lang.String oper,
                       VarReal var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: sum of vars "oper" var
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(VarReal var,
                       java.lang.String oper,
                       double value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var "oper" double value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(VarReal var,
                       java.lang.String oper,
                       int value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var "oper" integer value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(VarReal var1,
                       java.lang.String oper,
                       Var var2)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var1 "oper" var2
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(VarReal var1,
                       java.lang.String oper,
                       VarReal var2)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var1 "oper" var2
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(Var var,
                       java.lang.String oper,
                       int value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var "oper" value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(VarString var,
                       java.lang.String oper,
                       java.lang.String value)
```
    Specified by:
    
    post in interface Problem
  - post
```
public Constraint post(VarString var1,
                       java.lang.String oper,
                       VarString var2)
```
    Specified by:
    
    post in interface Problem
  - post
```
public Constraint post(Var var1,
                       java.lang.String oper,
                       Var var2)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var1 "oper" var2
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(Var var1,
                       java.lang.String oper,
                       VarReal var2)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var1 "oper" var2
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(Var var1,
                       Var var2,
                       java.lang.String oper,
                       int value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: (var1 + var2) "oper" value
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - post
```
public Constraint post(Var var1,
                       Var var2,
                       java.lang.String oper,
                       Var var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: (var1 + var2) "oper" var
    
    Specified by:
    
    post in interface Problem
    
    Returns:
    
    a newly created constraint
  - postAllDiff
```
public Constraint postAllDiff(java.util.ArrayList<Var> vars)
```
    Description copied from interface: Problem
    
    Similar to postAllDiff for variables saved in the ArrayList vars
    
    Specified by:
    
    postAllDiff in interface Problem
  - postAllDiff
```
public Constraint postAllDiff(Var[] vars)
```
    Description copied from interface: Problem
    
    This constraint is a synonym for postAllDifferent
    
    Specified by:
    
    postAllDiff in interface Problem
  - postAllDiff
```
public Constraint postAllDiff(VarString[] varStrings)
```
    Description copied from interface: Problem
    
    Posts allDiff constraint for an array of VarString variables
    
    Specified by:
    
    postAllDiff in interface Problem
  - postAllDifferent
```
public Constraint postAllDifferent(java.util.ArrayList<Var> vars)
```
    Description copied from interface: Problem
    
    Similar to postAllDifferent for variables saved in the ArrayList vars
    
    Specified by:
    
    postAllDifferent in interface Problem
  - postAllDifferent
```
public Constraint postAllDifferent(Var[] vars)
```
    Description copied from interface: Problem
    
    Creates and posts a new Constraint stating that all of the elements of the array of variables "vars" must take different values from each other.
    
    Specified by:
    
    postAllDifferent in interface Problem
    
    Parameters:
    
    vars - the array of Vars which must all take different values.
    
    Returns:
    
    a newly created constraint
  - postAnd
```
public Constraint postAnd(Constraint c1,
                          Constraint c2)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint an "AND" Constraint. The Constraint "AND" is satisfied if both of the Constraints "c1" and "c2" are satisfied. The Constraint "AND" is not satisfied if at least one of the Constraints "c1" or "c2" are not satisfied.
    
    Specified by:
    
    postAnd in interface Problem
    
    Parameters:
    
    c1 - a Constraint
    
    c2 - a Constraint
    
    Returns:
    
    a Constraint "AND" between the Constraints "c1" and "c2".
  - postCardinality
```
public Constraint postCardinality(java.util.ArrayList<Var> vars,
                                  int cardValue,
                                  java.lang.String oper,
                                  int value)
```
    Specified by:
    
    postCardinality in interface Problem
  - postCardinality
```
public Constraint postCardinality(java.util.ArrayList<Var> vars,
                                  int cardValue,
                                  java.lang.String oper,
                                  Var var)
```
    Specified by:
    
    postCardinality in interface Problem
  - postCardinality
```
public Constraint postCardinality(java.util.ArrayList<Var> vars,
                                  Var cardVar,
                                  java.lang.String oper,
                                  int value)
```
    Specified by:
    
    postCardinality in interface Problem
  - postCardinality
```
public Constraint postCardinality(java.util.ArrayList<Var> vars,
                                  Var cardVar,
                                  java.lang.String oper,
                                  Var var)
```
    Specified by:
    
    postCardinality in interface Problem
  - postCardinality
```
public Constraint postCardinality(Var[] vars,
                                  int cardValue,
                                  java.lang.String oper,
                                  int value)
```
    Description copied from interface: Problem
    
    This method creates and posts a new cardinality constraint �cardinality(vars,cardValue) 'oper' value�. Here �cardinality(vars,cardValue)� denotes a constrained integer variable that is equal to the number of those elements in the array "vars" that are bound to the "cardValue". For example, if �oper� is "=" it means that the variable �cardinality(vars,cardValue)� must be equal to the �value�. This constraint does NOT assume a creation of an intermediate variable "cardinality(vars,cardValue)".
    
    Specified by:
    
    postCardinality in interface Problem
    
    Returns:
    
    a newly created constraint
  - postCardinality
```
public Constraint postCardinality(Var[] vars,
                                  int cardValue,
                                  java.lang.String oper,
                                  Var var)
```
    Description copied from interface: Problem
    
    This method is similar to the one above but instead of �value� the �cardinality(vars,cardValue)� is being constrained by �var�.
    
    Specified by:
    
    postCardinality in interface Problem
  - postCardinality
```
public Constraint postCardinality(Var[] vars,
                                  Var cardVar,
                                  java.lang.String oper,
                                  int value)
```
    Description copied from interface: Problem
    
    This method is similar to the one above but instead of �var� it uses "value"
    
    Specified by:
    
    postCardinality in interface Problem
  - postCardinality
```
public Constraint postCardinality(Var[] vars,
                                  Var cardVar,
                                  java.lang.String oper,
                                  Var var)
```
    Description copied from interface: Problem
    
    This method is similar to the one above but instead of �cardValue� it uses "cardVar"
    
    Specified by:
    
    postCardinality in interface Problem
  - postElement
```
public Constraint postElement(int[] array,
                              Var indexVar,
                              java.lang.String oper,
                              int value)
```
    Description copied from interface: Problem
    
    Creates and posts a new constraint: array[indexVar] 'oper' value Here "array[indexVar]" denotes a constrained integer variable, which domain consists of integers array[i] where i is within domain of the "indexVar". When indexVar is bound to the value v, the value of the resulting variable is array[v]. The operator "oper" defines the type of relationships between "array[indexVar]" and "value"
    
    Specified by:
    
    postElement in interface Problem
    
    Parameters:
    
    array - an array of integers.
    
    indexVar - a constrained integer variable whose domain serves as an index into the "array".
    
    Returns:
    
    a newly created constraint
  - postElement
```
public Constraint postElement(int[] array,
                              Var indexVar,
                              java.lang.String oper,
                              Var var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: array[indexVar] 'oper' var Here "array[indexVar]" denotes a constrained integer variable, which domain consists of integers array[i] where i is within domain of the "indexVar". When indexVar is bound to the value v, the value of the resulting variable is array[v]. The operator "oper" defines the type of relationships between "array[indexVar]" and "var"
    
    Specified by:
    
    postElement in interface Problem
    
    Parameters:
    
    array - an array of integers.
    
    indexVar - a constrained integer variable whose domain serves as an index into the "array".
    
    Returns:
    
    a newly created constraint
  - postElement
```
public Constraint postElement(java.util.Set[] arrayOfSets,
                              Var indexVar,
                              java.lang.String oper,
                              VarSet var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: arrayOfSets[indexVar] 'oper' setVar Here "arrayOfSets[indexVar]" denotes a constrained set variable, which domain consists of sets of integers arrayOfSets[i] where i is within domain of the "indexVar". When indexVar is bound to the value v, the value of the resulting variable is arrayOfSets[v]. The operator "oper" defines the type of relationships between "arrayOfSets[indexVar]" and "setVar"
    
    Specified by:
    
    postElement in interface Problem
    
    Parameters:
    
    arrayOfSets - an array of integer sets.
    
    indexVar - a constrained integer variable whose domain serves as an index into the "arrayOfSets".
    
    Returns:
    
    a newly created constraint
  - postElement
```
public Constraint postElement(Var[] vars,
                              Var indexVar,
                              java.lang.String oper,
                              int value)
```
    Description copied from interface: Problem
    
    Posts a constraint: vars[indexVar] 'oper' value
    
    Specified by:
    
    postElement in interface Problem
    
    Returns:
    
    a newly created constraint
  - postElement
```
public Constraint postElement(Var[] vars,
                              Var indexVar,
                              java.lang.String oper,
                              Var var)
```
    Description copied from interface: Problem
    
    Posts a new constraint: vars[indexVar] 'oper' var
    
    Specified by:
    
    postElement in interface Problem
    
    Returns:
    
    a newly created constraint
  - postGlobalCardinality
```
public Constraint postGlobalCardinality(java.util.ArrayList<Var> vars,
                                        int[] values,
                                        int[] cardMin,
                                        int[] cardMax)
```
    Specified by:
    
    postGlobalCardinality in interface Problem
  - postGlobalCardinality
```
public Constraint postGlobalCardinality(java.util.ArrayList<Var> vars,
                                        int[] values,
                                        Var[] cardinalityVars)
```
    Specified by:
    
    postGlobalCardinality in interface Problem
  - postGlobalCardinality
```
public Constraint postGlobalCardinality(Var[] vars,
                                        int[] values,
                                        int[] cardMin,
                                        int[] cardMax)
```
    Description copied from interface: Problem
    
    Creates and posts a new global cardinality constraint that states:
    For each index i the number of times the value "values[i]" occurs in the array "vars" should be between cardMin[i] and cardMax[i] (inclusive)
    
    Specified by:
    
    postGlobalCardinality in interface Problem
    
    Parameters:
    
    vars - array of constrained integer variables
    
    values - array of integer values within domain of all vars
    
    cardMin - array of integers that serves as lower bounds for values[i]
    
    cardMax - array of integers that serves as upper bounds for values[i] Note that arrays values, cardMin, and cardMax should have the same size otherwise a RuntimeException will be thrown
  - postGlobalCardinality
```
public Constraint postGlobalCardinality(Var[] vars,
                                        int[] values,
                                        Var[] cardinalityVars)
```
    Description copied from interface: Problem
    
    Creates and posts a new global cardinality constraint that states:
    For each index i the number of times the value "values[i]" occurs in the array "vars" is exactly "cardinalityVars[i]"
    
    Specified by:
    
    postGlobalCardinality in interface Problem
    
    Parameters:
    
    vars - array of constrained integer variables
    
    values - array of integer values
    
    cardinalityVars - array of constrained integer variables (cardinality variables)
    
    Returns:
    
    a newly created constraint
  - postIfThen
```
public Constraint postIfThen(Constraint constraint1,
                             Constraint constraint2)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint that states the implication: if constraint1 then constraint2. In other words, if this constraint1 is satisfied, then constraint2 should also be satisfied.
    
    Specified by:
    
    postIfThen in interface Problem
    
    Parameters:
    
    constraint1 - If-Constraint in the implication.
    
    constraint2 - Then-Constraint in the implication.
    
    Returns:
    
    a Constraint that means: if constraint1 then constraint2
  - postIfThen
```
public Constraint postIfThen(VarBool var1,
                             VarBool var2)
```
    Description copied from interface: Problem
    
    Returns a Constraint that states the implication: "if boolean variable var1 is true then boolean variable var2 is also true"
    
    Specified by:
    
    postIfThen in interface Problem
    
    Parameters:
    
    var1 - the VarBool
    
    var2 - the VarBool
    
    Returns:
    
    a Constraint that means "if var1 then var2"
  - postMax
```
public Constraint postMax(Var[] vars,
                          java.lang.String oper,
                          int value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: max(vars) "oper" value where max(vars) is a maximal variable in the array "vars" when they are all instantiated.
    
    Specified by:
    
    postMax in interface Problem
  - postMax
```
public Constraint postMax(Var[] vars,
                          java.lang.String oper,
                          Var var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: max(vars) "oper" var where max(vars) is a maximal variable in the array "vars" when they are all instantiated.
    
    Specified by:
    
    postMax in interface Problem
  - postMin
```
public Constraint postMin(Var[] vars,
                          java.lang.String oper,
                          int value)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: min(vars) "oper" value where max(vars) is a minimal variable in the array "vars" when they are all instantiated.
    
    Specified by:
    
    postMin in interface Problem
  - postMin
```
public Constraint postMin(Var[] vars,
                          java.lang.String oper,
                          Var var)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: min(vars) "oper" var where max(vars) is a minimal variable in the array "vars" when they are all instantiated.
    
    Specified by:
    
    postMin in interface Problem
  - postOr
```
public Constraint postOr(Constraint c1,
                         Constraint c2)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint an "OR" Constraint. The Constraint "OR" is satisfied if at least one of constraints "c1" or "c2" are satisfied. The Constraint "OR" is not satisfied if both constraints "c1" or "c2" are not satisfied.
    
    Specified by:
    
    postOr in interface Problem
    
    Parameters:
    
    c1 - a Constraint
    
    c2 - a Constraint
    
    Returns:
    
    a Constraint "OR" between the Constraints "c1" and "c2".
  - postScalProd
```
public Constraint postScalProd(Var var,
                               java.lang.String oper,
                               int[] arrayOfValues,
                               Var[] arrayOfVariables)
```
    Description copied from interface: Problem
    
    Creates and posts a constraint: var "oper" scalProd(arrayOfValues,arrayOfVariables)
    
    Specified by:
    
    postScalProd in interface Problem
    
    Parameters:
    
    var - the constraint variable
    
    arrayOfValues - the array of values.
    
    arrayOfVariables - the array of variables.
    
    Returns:
    
    a constraint
  - scalProd
```
public VarReal scalProd(double[] arrayOfValues,
                        ConstrainedVariable[] arrayOfVariables)
```
    Description copied from interface: Problem
    
    Returns a real constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
    
    Specified by:
    
    scalProd in interface Problem
    
    Parameters:
    
    arrayOfValues - the array of values.
    
    arrayOfVariables - the array of variables.
    
    Returns:
    
    a constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
  - scalProd
```
public VarReal scalProd(double[] arrayOfValues,
                        VarReal[] arrayOfVariables)
```
    Description copied from interface: Problem
    
    Returns a real constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
    
    Specified by:
    
    scalProd in interface Problem
    
    Parameters:
    
    arrayOfValues - the array of values.
    
    arrayOfVariables - the array of variables.
    
    Returns:
    
    a constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
  - scalProd
```
public Var scalProd(int[] arrayOfValues,
                    java.util.ArrayList<Var> listOfVariables)
```
    Specified by:
    
    scalProd in interface Problem
  - scalProd
```
public Var scalProd(int[] arrayOfValues,
                    Var[] arrayOfVariables)
```
    Description copied from interface: Problem
    
    Returns an integer constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
    
    Specified by:
    
    scalProd in interface Problem
    
    Parameters:
    
    arrayOfValues - the array of values.
    
    arrayOfVariables - the array of variables.
    
    Returns:
    
    a constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
  - setDomainType
```
public void setDomainType(DomainType type)
```
    Description copied from interface: Problem
    
    Sets the domain type that will be used as the default for subsequent creation of variables using addVar-methods
    
    Specified by:
    
    setDomainType in interface Problem
  - setName
```
public void setName(java.lang.String name)
```
    Description copied from interface: Problem
    
    Sets the problem name
    
    Specified by:
    
    setName in interface Problem
  - setRealPrecision
```
public void setRealPrecision(double value)
```
    Description copied from interface: Problem
    
    Sets the precision for VarReals
    
    Specified by:
    
    setRealPrecision in interface Problem
    
    Parameters:
    
    value - the new precision for VarReals
  - setSolver
```
public void setSolver(Solver solver)
```
    Description copied from interface: Problem
    
    Associates a "solver" with the problem making it available through the method "getSolver()".
    
    Specified by:
    
    setSolver in interface Problem
  - storeToXML
```
public void storeToXML(java.io.OutputStream os,
                       java.lang.String comment)
                throws java.lang.Exception
```
    Description copied from interface: Problem
    
    Emits an XML document representing this instance of the Problem.
    
    Specified by:
    
    storeToXML in interface Problem
    
    Parameters:
    
    os - the output stream on which to emit the XML document.
    
    comment - a description of the property list, or null if no comment is desired. If the specified comment is null then no comment will be stored in the document.
    
    Throws:
    
    java.lang.Exception - IOException - if writing to the specified output stream results in an IOException; NullPointerException - if os is null.
  - sum
```
public Var sum(java.util.ArrayList<Var> vars)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is constrained to be the sum of the variables in the ArrayList of Var "vars".
    
    Specified by:
    
    sum in interface Problem
    
    Parameters:
    
    vars - the list of variables from which we desire the sum.
    
    Returns:
    
    a constrained integer variable that is equal to the sum of the variables in the array "var".
  - sum
```
public Var sum(Var[] vars)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is constrained to be the sum of the variables in the array "vars".
    
    Specified by:
    
    sum in interface Problem
    
    Parameters:
    
    vars - the array of variables from which we desire the sum.
    
    Returns:
    
    a constrained integer variable that is equal to the sum of the variables in the array "var".
  - sum
```
public VarReal sum(VarReal[] vars)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is constrained to be the sum of the variables in the array "vars".
    
    Specified by:
    
    sum in interface Problem
    
    Parameters:
    
    vars - the array of variables from which we desire the sum.
    
    Returns:
    
    a constrained integer variable that is equal to the sum of the variables in the array "var".
  - sum
```
public VarReal sum(VarReal var1,
                   VarReal var2)
```
    Description copied from interface: Problem
    
    Returns a constrained real variable that is constrained to be the sum of the variables var1 and var2.
    
    Specified by:
    
    sum in interface Problem
    
    Returns:
    
    a constrained integer variable that is equal to the sum of the variables var1 and var2
  - sum
```
public VarReal sum(VarReal var1,
                   VarReal var2,
                   VarReal var3)
```
    Description copied from interface: Problem
    
    Returns a constrained real variable that is constrained to be the sum of the variables var1, var2, and var3.
    
    Specified by:
    
    sum in interface Problem
    
    Returns:
    
    a constrained integer variable that is equal to the sum of the variables var1, var2, and var3
  - sum
```
public Var sum(Var var1,
               Var var2)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is constrained to be the sum of the variables var1 and var2.
    
    Specified by:
    
    sum in interface Problem
    
    Returns:
    
    a constrained integer variable that is equal to the sum of the variables var1 and var2
  - sum
```
public Var sum(Var var1,
               Var var2,
               Var var3)
```
    Description copied from interface: Problem
    
    Returns a constrained integer variable that is constrained to be the sum of the variables var1, var2, and var3.
    
    Specified by:
    
    sum in interface Problem
    
    Returns:
    
    a constrained integer variable that is equal to the sum of the variables var1, var2, and var3
  - variable
```
public Var variable(int[] domain)
```
    Description copied from interface: Problem
    
    An equivalent of var("",domain)
    
    Specified by:
    
    variable in interface Problem
    
    Parameters:
    
    domain - an array specifying the values in the domain for the new Var.
    
    Returns:
    
    the Var variable created and added to the problem.
  - variable
```
public Var variable(int min,
                    int max)
```
    Description copied from interface: Problem
    
    Creates a Var with domain [min;max]. The variable will be created with the default domain type or by the latest call of the method setDomainType(). This variable has an empty name and is not added to the problem.
    
    Specified by:
    
    variable in interface Problem
    
    Parameters:
    
    min - the minimum value in the domain for the new Var.
    
    max - the maximum value in the domain for the new Var.
    
    Returns:
    
    the Var created variable
  - variable
```
public Var variable(java.lang.String name,
                    int[] domain)
```
    Description copied from interface: Problem
    
    Creates a Var with the name "name" and domain containing the values in the array "domain" of the default domain type, adds this variable to the problem, and returns the newly added Var. The variable will be created with the default domain type or by the latest call of the method setDomainType().
    
    Specified by:
    
    variable in interface Problem
    
    Parameters:
    
    name - the name for the new Var.
    
    domain - an array specifying the values in the domain for the new Var.
    
    Returns:
    
    the Var variable created and added to the problem.
  - variable
```
public Var variable(java.lang.String name,
                    int min,
                    int max)
```
    Description copied from interface: Problem
    
    Creates a Var by calling createVariable(name,min,max) and adds this variable to the problem. The variable will be created with the default domain type or by the latest call of the method setDomainType().
    
    Specified by:
    
    variable in interface Problem
    
    Parameters:
    
    name - the name for the new Var.
    
    min - the minimum value in the domain for the new Var.
    
    max - the maximum value in the domain for the new Var.
    
    Returns:
    
    the Var variable created and added to the problem.
  - variable
```
public Var variable(java.lang.String name,
                    int min,
                    int max,
                    DomainType domainType)
```
    Description copied from interface: Problem
    
    Similar to variable(String name, int min, int max) but also has one more parameter that defines the default domain type. .
    
    Specified by:
    
    variable in interface Problem
    
    Parameters:
    
    name - the name for the new Var.
    
    min - the minimum value in the domain for the new Var.
    
    max - the maximum value in the domain for the new Var.
    
    domainType - DomainType
    
    Returns:
    
    the Var variable created and added to the problem.
  - variableArray
```
public Var[] variableArray(java.lang.String name,
                           int min,
                           int max,
                           int size)
```
    Description copied from interface: Problem
    
    Creates an array of Var variables with the name "name" and domains [min;max], adds this array of variables to the problem, and returns the newly added Var array. The "size" parameter specifies how many Var variables are contained in this new array. The variables will be created with the default domain type or as defined by the latest call of the method setDomainType().
    
    Specified by:
    
    variableArray in interface Problem
    
    Parameters:
    
    name - the name for the new Var array.
    
    min - the minimum value in the domains for the new Vars in the new Var array.
    
    max - the maximum value in the domain for the new Vars in the new Var array.
    
    size - the number of Vars in the new Var array.
    
    Returns:
    
    the array of Var variables created and added to the problem.
  - variableBool
```
public VarBool variableBool()
```
    Description copied from interface: Problem
    
    Creates a boolean constrained variable without name. This variable is not added to the problem,
    
    Specified by:
    
    variableBool in interface Problem
    
    Returns:
    
    the Var variable created
  - variableBool
```
public VarBool variableBool(java.lang.String name)
```
    Description copied from interface: Problem
    
    Creates a boolean constrained variable with the name "name" and adds this variable to the problem, and returns the newly added VarBool.
    
    Specified by:
    
    variableBool in interface Problem
    
    Parameters:
    
    name - the name for the new Var.
    
    Returns:
    
    the Var variable created and added to the problem.
  - variableMatrix
```
public VarMatrix variableMatrix(java.lang.String name,
                                int min,
                                int max,
                                int rows,
                                int columns)
```
    Specified by:
    
    variableMatrix in interface Problem
  - variableReal
```
public VarReal variableReal(java.lang.String name)
```
    Description copied from interface: Problem
    
    Creates a VarReal with the name "name" and default domain [Problem.REAL_MIN;Problem.REAL_MAX], adds this variable to the problem, and returns the newly added VarReal.
    
    Specified by:
    
    variableReal in interface Problem
    
    Parameters:
    
    name - the name for the new VarReal.
    
    Returns:
    
    the VarReal variable created and added to the problem.
  - variableReal
```
public VarReal variableReal(java.lang.String name,
                            double min,
                            double max)
```
    Description copied from interface: Problem
    
    Creates a VarReal with the name "name" and domain [min;max], adds this variable to the problem, and returns the newly added VarReal.
    
    Specified by:
    
    variableReal in interface Problem
    
    Parameters:
    
    name - the name for the new VarReal.
    
    min - the minimum value in the domain for the new VarReal.
    
    max - the maximum value in the domain for the new VarReal.
    
    Returns:
    
    the VarReal variable created and added to the problem.
  - variableSet
```
public VarSet variableSet(java.lang.String name,
                          int[] values)
                   throws java.lang.Exception
```
    Description copied from interface: Problem
    
    Creates a constrained set variable VarSet with the name "name" and which domain consists of integer values from the array "value".
    
    Specified by:
    
    variableSet in interface Problem
    
    Returns:
    
    the VarSet variable created and added to the problem.
    
    Throws:
    
    java.lang.Exception
  - variableSet
```
public VarSet variableSet(java.lang.String name,
                          int min,
                          int max)
                   throws java.lang.Exception
```
    Description copied from interface: Problem
    
    Creates a constrained set variable VarSet with the name "name" and domain of integer values from "min" to "max" inclusive. This interface show how to create a new constrained set variable which, when bound, is equal to a set of elements. The domain of a constrained set variable is a set of Sets that consist of regular integers.The cardinality of a set constrained variable is an integer constrained variable.
    
    Specified by:
    
    variableSet in interface Problem
    
    Returns:
    
    a new VarSet variable
    
    Throws:
    
    java.lang.Exception
  - variableSet
```
public VarSet variableSet(java.lang.String name,
                          java.util.Set set)
                   throws java.lang.Exception
```
    Description copied from interface: Problem
    
    Creates a constrained set variable VarSet with the name "name" and which domain consists of integer values from the Set "set".
    
    Specified by:
    
    variableSet in interface Problem
    
    Returns:
    
    the VarSet variable created and added to the problem.
    
    Throws:
    
    java.lang.Exception
  - variableString
```
public VarString variableString(java.lang.String name,
                                java.lang.String[] allStrings)
```
    Specified by:
    
    variableString in interface Problem

Class ProblemDelegator

Field Summary

Fields inherited from interface javax.constraints.Problem

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

ProblemDelegator

Method Detail

add

add

add

add

add

add

allDiff

allDiff

areThereProbabilityConstraints

createVariable

createVariableReal

element

element

element

element

getAPIVersion

getConstraint

getConstraints

getFalseConstraint

getImplVersion

getName

getRealPrecision

getSolver

getTotalConstraintViolation

getTrueConstraint

getVar

getVarArray

getVarBools

getVarMatrix

getVarReal

getVarReals

getVars

getVarSets

getVarString

getVarStrings

linear

linear

linear

linear

loadFromXML

log

log

log

log

max

max

max

min

min

min

post

post

post

post

post

post

post

post

post

post

post

post

post

post

post

post

post

post

post

post

post