Package org.jacop.fz.constraints
Class LinearConstraints
java.lang.Object
org.jacop.fz.constraints.LinearConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of linear constraints in flatzinc
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) SatTranslation
(package private) Store
(package private) 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 -
Method Summary
Modifier and TypeMethodDescription(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
(package private) boolean
(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
(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
(package private) void
gen_int_lin_lt
(SimpleNode node) (package private) void
gen_int_lin_lt_imp
(SimpleNode node) (package private) void
(package private) void
gen_int_lin_ne
(SimpleNode node) (package private) void
gen_int_lin_ne_imp
(SimpleNode node) (package private) void
(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
(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 Details
-
store
Store store -
support
Support support -
sat
SatTranslation sat
-
-
Constructor Details
-
LinearConstraints
-
-
Method Details
-
gen_bool_lin_eq
-
gen_int_lin_eq
-
gen_int_lin_eq_reif
-
gen_int_lin_eq_imp
-
gen_int_lin_ne
-
gen_int_lin_ne_reif
-
gen_int_lin_ne_imp
-
gen_int_lin_lt
-
gen_int_lin_lt_reif
-
gen_int_lin_lt_imp
-
gen_int_lin_le
-
gen_int_lin_le_reif
-
gen_int_lin_le_imp
-
gen_int_lin_gt_imp
-
gen_int_lin_ge_imp
-
int_lin_relation_reif
- Throws:
FailException
-
int_lin_relation_imp
- Throws:
FailException
-
int_lin_relation
- Throws:
FailException
-
allPositive
boolean allPositive(int[] ws) -
allNonPositive
boolean allNonPositive(int[] ws) -
allConstants
-
allWeightsOne
boolean allWeightsOne(int[] w) -
allWeightsMinusOne
boolean allWeightsMinusOne(int[] w) -
boolSum
-
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
-
binaryVar
-