Package org.jacop.fz.constraints
Class OperationConstraints
java.lang.Object
org.jacop.fz.constraints.OperationConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of linear constraints in flatzinc
-
Field Summary
FieldsFields 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) void
gen_int_abs
(SimpleNode node) (package private) void
gen_int_div
(SimpleNode node) (package private) void
gen_int_max
(SimpleNode node) (package private) void
gen_int_min
(SimpleNode node) (package private) void
gen_int_mod
(SimpleNode node) (package private) void
gen_int_plus
(SimpleNode node) (package private) void
gen_int_pow
(SimpleNode node) (package private) void
gen_int_times
(SimpleNode node) (package private) void
gen_int2float
(SimpleNode node)