Package org.jacop.fz.constraints
Class LinearConstraints
- java.lang.Object
-
- org.jacop.fz.constraints.LinearConstraints
-
- All Implemented Interfaces:
ParserTreeConstants
class LinearConstraints extends java.lang.Object implements ParserTreeConstants
Generation of linear constraints in flatzinc
-
-
Field Summary
Fields Modifier and Type Field Description (package private) SatTranslation
sat
(package private) Store
store
(package private) Support
support
-
Fields inherited from interface org.jacop.fz.ParserTreeConstants
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
-
-
Constructor Summary
Constructors Constructor Description LinearConstraints(Support support)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
allConstants(IntVar[] p)
(package private) boolean
allNonPositive(int[] ws)
(package private) boolean
allPositive(int[] ws)
(package private) boolean
allWeightsMinusOne(int[] w)
(package private) boolean
allWeightsOne(int[] w)
(package private) boolean
binaryVar(IntVar v)
(package private) boolean
boolSum(IntVar[] vs)
(package private) void
gen_bool_lin_eq(SimpleNode node)
(package private) void
gen_int_lin_eq(SimpleNode node)
(package private) void
gen_int_lin_eq_imp(SimpleNode node)
(package private) void
gen_int_lin_eq_reif(SimpleNode node)
(package private) void
gen_int_lin_ge_imp(SimpleNode node)
(package private) void
gen_int_lin_gt_imp(SimpleNode node)
(package private) void
gen_int_lin_le(SimpleNode node)
(package private) void
gen_int_lin_le_imp(SimpleNode node)
(package private) void
gen_int_lin_le_reif(SimpleNode node)
(package private) void
gen_int_lin_lt(SimpleNode node)
(package private) void
gen_int_lin_lt_imp(SimpleNode node)
(package private) void
gen_int_lin_lt_reif(SimpleNode node)
(package private) void
gen_int_lin_ne(SimpleNode node)
(package private) void
gen_int_lin_ne_imp(SimpleNode node)
(package private) void
gen_int_lin_ne_reif(SimpleNode node)
(package private) void
int_lin_relation(int operation, SimpleNode node)
(package private) void
int_lin_relation_imp(int operation, SimpleNode node)
(package private) void
int_lin_relation_reif(int operation, SimpleNode node)
(package private) boolean
paramZero(IntVar v)
(package private) int
sumGePossible(int[] ws, int result)
(package private) int
sumLePossible(int[] ws, int result)
(package private) int
sumPossible(int[] ws)
(package private) int
sumPossible(int[] ws, int result)
-
-
-
Field Detail
-
store
Store store
-
support
Support support
-
sat
SatTranslation sat
-
-
Constructor Detail
-
LinearConstraints
public LinearConstraints(Support support)
-
-
Method Detail
-
gen_bool_lin_eq
void gen_bool_lin_eq(SimpleNode node)
-
gen_int_lin_eq
void gen_int_lin_eq(SimpleNode node)
-
gen_int_lin_eq_reif
void gen_int_lin_eq_reif(SimpleNode node)
-
gen_int_lin_eq_imp
void gen_int_lin_eq_imp(SimpleNode node)
-
gen_int_lin_ne
void gen_int_lin_ne(SimpleNode node)
-
gen_int_lin_ne_reif
void gen_int_lin_ne_reif(SimpleNode node)
-
gen_int_lin_ne_imp
void gen_int_lin_ne_imp(SimpleNode node)
-
gen_int_lin_lt
void gen_int_lin_lt(SimpleNode node)
-
gen_int_lin_lt_reif
void gen_int_lin_lt_reif(SimpleNode node)
-
gen_int_lin_lt_imp
void gen_int_lin_lt_imp(SimpleNode node)
-
gen_int_lin_le
void gen_int_lin_le(SimpleNode node)
-
gen_int_lin_le_reif
void gen_int_lin_le_reif(SimpleNode node)
-
gen_int_lin_le_imp
void gen_int_lin_le_imp(SimpleNode node)
-
gen_int_lin_gt_imp
void gen_int_lin_gt_imp(SimpleNode node)
-
gen_int_lin_ge_imp
void gen_int_lin_ge_imp(SimpleNode node)
-
int_lin_relation_reif
void int_lin_relation_reif(int operation, SimpleNode node) throws FailException
- Throws:
FailException
-
int_lin_relation_imp
void int_lin_relation_imp(int operation, SimpleNode node) throws FailException
- Throws:
FailException
-
int_lin_relation
void int_lin_relation(int operation, SimpleNode node) throws FailException
- Throws:
FailException
-
allPositive
boolean allPositive(int[] ws)
-
allNonPositive
boolean allNonPositive(int[] ws)
-
allConstants
boolean allConstants(IntVar[] p)
-
allWeightsOne
boolean allWeightsOne(int[] w)
-
allWeightsMinusOne
boolean allWeightsMinusOne(int[] w)
-
boolSum
boolean boolSum(IntVar[] vs)
-
sumPossible
int sumPossible(int[] ws, int result)
-
sumPossible
int sumPossible(int[] ws)
-
sumLePossible
int sumLePossible(int[] ws, int result)
-
sumGePossible
int sumGePossible(int[] ws, int result)
-
paramZero
boolean paramZero(IntVar v)
-
binaryVar
boolean binaryVar(IntVar v)
-
-