Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.binary | |
org.chocosolver.solver.constraints.nary.sum | |
org.chocosolver.solver.constraints.ternary |
Modifier and Type | Method and Description |
---|---|
static Operator |
Operator.get(String name) |
static Operator |
Operator.getOpposite(Operator operator) |
static Operator |
Operator.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Operator[] |
Operator.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static Operator |
Operator.getOpposite(Operator operator) |
Constructor and Description |
---|
Arithmetic(IntVar var,
Operator op,
int cste) |
Arithmetic(IntVar var1,
Operator op,
IntVar var2) |
Arithmetic(IntVar var1,
Operator op1,
IntVar var2,
Operator op2,
int cste) |
Constructor and Description |
---|
PropDistanceXYC(IntVar[] vars,
Operator operator,
int cste) |
Modifier and Type | Field and Description |
---|---|
protected Operator |
PropSum.o
The operator among EQ, LE, GE and NE
|
Modifier and Type | Method and Description |
---|---|
protected static Operator |
PropSum.nop(Operator co) |
Modifier and Type | Method and Description |
---|---|
protected static int |
PropSum.nb(Operator co) |
protected static Operator |
PropSum.nop(Operator co) |
static Constraint |
IntLinCombFactory.reduce(IntVar[] VARS,
int[] COEFFS,
Operator OPERATOR,
IntVar SCALAR)
Reduce coefficients, and variables if required, when dealing with a scalar product
|
static Constraint |
IntLinCombFactory.reduce(IntVar[] VARS,
Operator OPERATOR,
IntVar SUM)
Reduce coefficients, and variables if required, when dealing with a sum (all coefficients are implicitly equal to 1)
|
static Constraint |
IntLinCombFactory.selectScalar(IntVar[] VARS,
int[] COEFFS,
Operator OPERATOR,
int RESULT)
Select the most relevant ScalarProduct constraint to return
|
static Constraint |
IntLinCombFactory.selectSum(IntVar[] VARS,
int[] COEFFS,
Operator OPERATOR,
int RESULT,
int nbools)
Select the most relevant Sum constraint to return
|
Constructor and Description |
---|
PropScalar(IntVar[] variables,
int[] coeffs,
int pos,
Operator o,
int b)
Create a scalar product: SUM(x_i*c_i) o b
Variables and coefficients are excepted to be ordered wrt to coefficients: first positive ones then negative ones.
|
PropSum(IntVar[] variables,
int pos,
Operator o,
int b)
Creates a sum propagator: SUM(x_i) o b
Coefficients are induced by
pos :
those before pos (included) are equal to 1,
the other ones are equal to -1. |
PropSumBool(BoolVar[] variables,
int pos,
Operator o,
IntVar sum,
int b)
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables.
|
PropSumBool(BoolVar[] variables,
int pos,
Operator o,
IntVar sum,
int b,
boolean reactOnFineEvent)
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables.
|
PropSumBoolIncr(BoolVar[] variables,
int pos,
Operator o,
IntVar sum,
int b)
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables, maintained incrementally.
|
PropSumFullBool(BoolVar[] variables,
int pos,
Operator o,
int b)
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables.
|
PropSumFullBool(BoolVar[] variables,
int pos,
Operator o,
int b,
boolean reactOnFineEvent)
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables.
|
PropSumFullBoolIncr(BoolVar[] variables,
int pos,
Operator o,
int b)
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables, maintained incrementally.
|
Constructor and Description |
---|
PropDistanceXYZ(IntVar[] vars,
Operator op)
Enforces |x0 - x1| op x2
where op can be =, <, >
|
Copyright © 2017. All rights reserved.