Package org.jacop.fz.constraints
Class FloatOperationConstraints
java.lang.Object
org.jacop.fz.constraints.FloatOperationConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of set 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, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) void
gen_float_abs
(SimpleNode node) (package private) void
gen_float_acos
(SimpleNode node) (package private) void
gen_float_asin
(SimpleNode node) (package private) void
gen_float_atan
(SimpleNode node) (package private) void
gen_float_cos
(SimpleNode node) (package private) void
gen_float_div
(SimpleNode node) (package private) void
gen_float_exp
(SimpleNode node) (package private) void
gen_float_ln
(SimpleNode node) (package private) void
gen_float_log10
(SimpleNode node) (package private) void
gen_float_log2
(SimpleNode node) (package private) void
gen_float_max
(SimpleNode node) (package private) void
gen_float_min
(SimpleNode node) (package private) void
gen_float_plus
(SimpleNode node) (package private) void
gen_float_pow
(SimpleNode node) (package private) void
gen_float_sin
(SimpleNode node) (package private) void
gen_float_sqrt
(SimpleNode node) (package private) void
gen_float_tan
(SimpleNode node) (package private) void
gen_float_times
(SimpleNode node)
-
Field Details
-
Constructor Details
-
FloatOperationConstraints
-
-
Method Details
-
gen_float_abs
-
gen_float_acos
-
gen_float_asin
-
gen_float_atan
-
gen_float_cos
-
gen_float_exp
-
gen_float_ln
-
gen_float_log10
-
gen_float_log2
-
gen_float_sqrt
-
gen_float_sin
-
gen_float_tan
-
gen_float_max
-
gen_float_min
-
gen_float_plus
-
gen_float_times
-
gen_float_pow
-
gen_float_div
-