javax.constraints.impl

Class Problem

java.lang.Object

javax.constraints.impl.AbstractProblem

javax.constraints.impl.Problem

All Implemented Interfaces:

javax.constraints.Problem

public class Problem
extends javax.constraints.impl.AbstractProblem

Field Summary

Fields

Modifier and Type	Field and Description
static String	JSR331_LINEAR_VERSION

Fields inherited from class javax.constraints.impl.AbstractProblem

REAL_PRECISION

Fields inherited from interface javax.constraints.Problem

JSR331_VERSION

Constructor Summary

Constructors

Constructor and Description
Problem()
Problem(String name)

Method Summary

Modifier and Type	Method and Description
javax.constraints.Constraint	allDiff(javax.constraints.Var[] vars)
Constraint[]	constraintsWithDerivedVars()
protected javax.constraints.Solver	createSolver()
javax.constraints.Var	createVariable(String name)
javax.constraints.Var	createVariable(String name, int min, int max)
javax.constraints.VarReal	createVariableReal(String name)
javax.constraints.VarReal	createVariableReal(String name, double min, double max)
void	debug(String text)
void	error(String text)
Constraint	findConstraintForVariable(String name)
String	getImplVersion()
boolean	isDerivedVar(javax.constraints.impl.AbstractConstrainedVariable var)
javax.constraints.Constraint	linear(javax.constraints.Var var, String oper, int value)
javax.constraints.Constraint	linear(javax.constraints.Var var1, String oper, javax.constraints.Var var2)
void	loadFromXML(InputStream in)
void	log(String text)
void	post(javax.constraints.Constraint constraint)
javax.constraints.Constraint	post(double[] coefficients, javax.constraints.ConstrainedVariable[] vars, String oper, javax.constraints.ConstrainedVariable var)
javax.constraints.Constraint	post(double[] coefficients, javax.constraints.ConstrainedVariable[] vars, String oper, double value)
javax.constraints.Constraint	post(double[] coefficients, javax.constraints.Var[] vars, String oper, double value) Creates and posts a constraint: array*vars 'oper' value for an "array: of real coefficients to be multiplied by an array "vars" of integer constrained variables
javax.constraints.Constraint	post(double[] coefficients, javax.constraints.VarReal[] vars, String oper, double value)
javax.constraints.Constraint	post(double[] coefficients, javax.constraints.VarReal[] vars, String oper, javax.constraints.VarReal var)
javax.constraints.Constraint	post(int[] coefficients, javax.constraints.Var[] vars, String oper, int value)
javax.constraints.Constraint	post(int[] coefficients, javax.constraints.Var[] vars, String oper, javax.constraints.Var var)
javax.constraints.Constraint	post(javax.constraints.Var[] vars, String oper, int value)
javax.constraints.Constraint	post(javax.constraints.Var[] vars, String oper, javax.constraints.Var var)
javax.constraints.Constraint	post(javax.constraints.VarReal[] vars, String oper, double value)
javax.constraints.Constraint	post(javax.constraints.VarReal[] vars, String oper, int value)
javax.constraints.Constraint	post(javax.constraints.VarReal[] vars, String oper, javax.constraints.VarReal var)
javax.constraints.Constraint	post(javax.constraints.VarReal var, String oper, double value)
javax.constraints.Constraint	post(javax.constraints.VarReal var, String oper, int value)
javax.constraints.Constraint	post(javax.constraints.VarReal var1, String oper, javax.constraints.Var var2)
javax.constraints.Constraint	post(javax.constraints.VarReal var1, String oper, javax.constraints.VarReal var2)
javax.constraints.Constraint	post(javax.constraints.Var var, String oper, int value)
javax.constraints.Constraint	post(javax.constraints.Var var1, String oper, javax.constraints.Var var2)
javax.constraints.Constraint	post(javax.constraints.Var var1, String oper, javax.constraints.VarReal var2)
javax.constraints.Constraint	postCardinality(javax.constraints.Var[] vars, int cardValue, String oper, int value)
javax.constraints.Constraint	postCardinality(javax.constraints.Var[] vars, int cardValue, String oper, javax.constraints.Var var)
javax.constraints.Constraint	postElement(int[] array, javax.constraints.Var indexVar, String oper, int value)
javax.constraints.Constraint	postElement(int[] array, javax.constraints.Var indexVar, String oper, javax.constraints.Var var)
javax.constraints.Constraint	postElement(javax.constraints.Var[] vars, javax.constraints.Var indexVar, String oper, int value)
javax.constraints.Constraint	postElement(javax.constraints.Var[] vars, javax.constraints.Var indexVar, String oper, javax.constraints.Var var)
javax.constraints.Constraint	postScalProd(javax.constraints.Var var, String oper, int[] coefficients, javax.constraints.Var[] vars) Creates and posts a constraint: var "oper" scalProd(arrayOfValues,arrayOfVariables)
javax.constraints.VarReal	scalProd(double[] arrayOfValues, javax.constraints.ConstrainedVariable[] arrayOfVariables)
javax.constraints.VarReal	scalProd(double[] arrayOfValues, javax.constraints.VarReal[] arrayOfVariables) Returns a real constrained variable equal to the scalar product of an array of values "arrayOfValues" and an array of variables "arrayOfVariables".
javax.constraints.Var	scalProd(int[] coefficients, javax.constraints.Var[] vars)
javax.constraints.Var	scalProd(String name, int[] coefficients, javax.constraints.Var[] vars)
void	storeToXML(OutputStream os, String comment)
javax.constraints.Var	sum(String name, javax.constraints.Var[] vars)
javax.constraints.Var	sum(javax.constraints.Var[] vars)
javax.constraints.VarReal	sum(javax.constraints.VarReal[] vars)
javax.constraints.VarBool	variableBool(String name)

Methods inherited from class javax.constraints.impl.AbstractProblem

add, add, add, add, add, add, add, add, addConstraintWithProbability, addReversible, addVarArray, addVarArray, allDiff, and, areThereProbabilityConstraints, element, element, element, element, getAPIVersion, getConstraint, getConstraints, getDomainType, getFalseConstraint, getName, getRealPrecision, getSolver, getTotalConstraintViolation, getTrueConstraint, getVar, getVarArray, getVarArray, getVarBools, getVarMatrix, getVarReal, getVarRealArray, getVarReals, getVars, getVarSets, getVarString, getVarStrings, isNotOneOfConstraint, isNotOneOfConstraint, isOneOfConstraint, isOneOfConstraint, isSolverCreated, linear, linear, log, log, log, log, log, log, log, log, max, max, max, min, min, min, notImplementedException, post, post, post, post, post, post, post, post, post, postAllDiff, postAllDiff, postAllDiff, postAllDifferent, postAllDifferent, postAllDifferent, postAnd, postCardinality, postCardinality, postCardinality, postCardinality, postCardinality, postCardinality, postElement, postGlobalCardinality, postGlobalCardinality, postGlobalCardinality, postGlobalCardinality, postIfThen, postIfThen, postMax, postMax, postMin, postMin, postOr, remove, scalProd, setDomainType, setName, setRealPrecision, setSolver, stringToOper, sum, sum, sum, sum, sum, var, variable, variable, variable, variable, variable, variableArray, variableBool, variableMatrix, variableReal, variableReal, variableSet, variableSet, variableSet, variableString, varSquare

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

JSR331_LINEAR_VERSION

public static final String JSR331_LINEAR_VERSION

See Also:

Constant Field Values

Constructor Detail

Problem

public Problem()

Problem

public Problem(String name)

Method Detail

postElement

public javax.constraints.Constraint postElement(int[] array,
                                                javax.constraints.Var indexVar,
                                                String oper,
                                                int value)

postElement

public javax.constraints.Constraint postElement(int[] array,
                                                javax.constraints.Var indexVar,
                                                String oper,
                                                javax.constraints.Var var)

postElement

public javax.constraints.Constraint postElement(javax.constraints.Var[] vars,
                                                javax.constraints.Var indexVar,
                                                String oper,
                                                int value)

postElement

public javax.constraints.Constraint postElement(javax.constraints.Var[] vars,
                                                javax.constraints.Var indexVar,
                                                String oper,
                                                javax.constraints.Var var)

post

public javax.constraints.Constraint post(int[] coefficients,
                                         javax.constraints.Var[] vars,
                                         String oper,
                                         int value)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(int[] coefficients,
                                         javax.constraints.Var[] vars,
                                         String oper,
                                         javax.constraints.Var var)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.Var[] vars,
                                         String oper,
                                         int value)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.Var[] vars,
                                         String oper,
                                         javax.constraints.Var var)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.Var var,
                                         String oper,
                                         int value)

post

public javax.constraints.Constraint post(javax.constraints.Var var1,
                                         String oper,
                                         javax.constraints.Var var2)

linear

public javax.constraints.Constraint linear(javax.constraints.Var var,
                                           String oper,
                                           int value)

linear

public javax.constraints.Constraint linear(javax.constraints.Var var1,
                                           String oper,
                                           javax.constraints.Var var2)

post

public javax.constraints.Constraint post(double[] coefficients,
                                         javax.constraints.Var[] vars,
                                         String oper,
                                         double value)

Creates and posts a constraint: array*vars 'oper' value for an "array: of real coefficients to be multiplied by an array "vars" of integer constrained variables

Overrides:

post in class javax.constraints.impl.AbstractProblem

Returns:

a newly created constraint

Throws:

RuntimeException - if the posting fails

post

public javax.constraints.Constraint post(double[] coefficients,
                                         javax.constraints.VarReal[] vars,
                                         String oper,
                                         double value)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(double[] coefficients,
                                         javax.constraints.ConstrainedVariable[] vars,
                                         String oper,
                                         double value)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(double[] coefficients,
                                         javax.constraints.VarReal[] vars,
                                         String oper,
                                         javax.constraints.VarReal var)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(double[] coefficients,
                                         javax.constraints.ConstrainedVariable[] vars,
                                         String oper,
                                         javax.constraints.ConstrainedVariable var)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.VarReal[] vars,
                                         String oper,
                                         double value)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.VarReal[] vars,
                                         String oper,
                                         int value)

post

public javax.constraints.Constraint post(javax.constraints.VarReal[] vars,
                                         String oper,
                                         javax.constraints.VarReal var)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.VarReal var,
                                         String oper,
                                         double value)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.VarReal var,
                                         String oper,
                                         int value)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.VarReal var1,
                                         String oper,
                                         javax.constraints.VarReal var2)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.VarReal var1,
                                         String oper,
                                         javax.constraints.Var var2)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

post

public javax.constraints.Constraint post(javax.constraints.Var var1,
                                         String oper,
                                         javax.constraints.VarReal var2)

Specified by:

post in interface javax.constraints.Problem

Overrides:

post in class javax.constraints.impl.AbstractProblem

postScalProd

public javax.constraints.Constraint postScalProd(javax.constraints.Var var,
                                                 String oper,
                                                 int[] coefficients,
                                                 javax.constraints.Var[] vars)

Creates and posts a constraint: var "oper" scalProd(arrayOfValues,arrayOfVariables)

Specified by:

postScalProd in interface javax.constraints.Problem

Overrides:

postScalProd in class javax.constraints.impl.AbstractProblem

Parameters:

var - the constraint variable

oper - an operator

coefficients - the array of values

vars - the array of variables

Returns:

a constraint

scalProd

public javax.constraints.Var scalProd(int[] coefficients,
                                      javax.constraints.Var[] vars)

scalProd

public javax.constraints.Var scalProd(String name,
                                      int[] coefficients,
                                      javax.constraints.Var[] vars)

Specified by:

scalProd in interface javax.constraints.Problem

Overrides:

scalProd in class javax.constraints.impl.AbstractProblem

scalProd

public javax.constraints.VarReal scalProd(double[] arrayOfValues,
                                          javax.constraints.VarReal[] arrayOfVariables)

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 javax.constraints.Problem

Overrides:

scalProd in class javax.constraints.impl.AbstractProblem

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 javax.constraints.VarReal scalProd(double[] arrayOfValues,
                                          javax.constraints.ConstrainedVariable[] arrayOfVariables)

Specified by:

scalProd in interface javax.constraints.Problem

Overrides:

scalProd in class javax.constraints.impl.AbstractProblem

sum

public javax.constraints.Var sum(javax.constraints.Var[] vars)

Specified by:

sum in interface javax.constraints.Problem

Overrides:

sum in class javax.constraints.impl.AbstractProblem

sum

public javax.constraints.Var sum(String name,
                                 javax.constraints.Var[] vars)

Specified by:

sum in interface javax.constraints.Problem

Overrides:

sum in class javax.constraints.impl.AbstractProblem

sum

public javax.constraints.VarReal sum(javax.constraints.VarReal[] vars)

Specified by:

sum in interface javax.constraints.Problem

Overrides:

sum in class javax.constraints.impl.AbstractProblem

isDerivedVar

public boolean isDerivedVar(javax.constraints.impl.AbstractConstrainedVariable var)

constraintsWithDerivedVars

public Constraint[] constraintsWithDerivedVars()

findConstraintForVariable

public Constraint findConstraintForVariable(String name)

allDiff

public javax.constraints.Constraint allDiff(javax.constraints.Var[] vars)

postCardinality

public javax.constraints.Constraint postCardinality(javax.constraints.Var[] vars,
                                                    int cardValue,
                                                    String oper,
                                                    int value)

postCardinality

public javax.constraints.Constraint postCardinality(javax.constraints.Var[] vars,
                                                    int cardValue,
                                                    String oper,
                                                    javax.constraints.Var var)

getImplVersion

public String getImplVersion()

Specified by:

getImplVersion in interface javax.constraints.Problem

Specified by:

getImplVersion in class javax.constraints.impl.AbstractProblem

createVariable

public javax.constraints.Var createVariable(String name,
                                            int min,
                                            int max)

Specified by:

createVariable in interface javax.constraints.Problem

Specified by:

createVariable in class javax.constraints.impl.AbstractProblem

createVariable

public javax.constraints.Var createVariable(String name)

createVariableReal

public javax.constraints.VarReal createVariableReal(String name,
                                                    double min,
                                                    double max)

Specified by:

createVariableReal in interface javax.constraints.Problem

Overrides:

createVariableReal in class javax.constraints.impl.AbstractProblem

createVariableReal

public javax.constraints.VarReal createVariableReal(String name)

variableBool

public javax.constraints.VarBool variableBool(String name)

Specified by:

variableBool in interface javax.constraints.Problem

Specified by:

variableBool in class javax.constraints.impl.AbstractProblem

post

public void post(javax.constraints.Constraint constraint)

Specified by:

post in interface javax.constraints.Problem

Specified by:

post in class javax.constraints.impl.AbstractProblem

createSolver

protected javax.constraints.Solver createSolver()

Specified by:

createSolver in class javax.constraints.impl.AbstractProblem

log

public void log(String text)

Specified by:

log in interface javax.constraints.Problem

Specified by:

log in class javax.constraints.impl.AbstractProblem

debug

public void debug(String text)

Specified by:

debug in class javax.constraints.impl.AbstractProblem

error

public void error(String text)

Specified by:

error in class javax.constraints.impl.AbstractProblem

loadFromXML

public void loadFromXML(InputStream in)
                 throws Exception

Throws:

Exception

storeToXML

public void storeToXML(OutputStream os,
                       String comment)
                throws Exception

Throws:

Exception