Package org.jacop.fz.constraints
Class FloatOperationConstraints
- java.lang.Object
-
- org.jacop.fz.constraints.FloatOperationConstraints
-
- All Implemented Interfaces:
ParserTreeConstants
class FloatOperationConstraints extends java.lang.Object implements ParserTreeConstants
Generation of set constraints in flatzinc
-
-
Field Summary
Fields Modifier and Type Field Description (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 FloatOperationConstraints(Support support)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (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)
-
-
-
Constructor Detail
-
FloatOperationConstraints
public FloatOperationConstraints(Support support)
-
-
Method Detail
-
gen_float_abs
void gen_float_abs(SimpleNode node)
-
gen_float_acos
void gen_float_acos(SimpleNode node)
-
gen_float_asin
void gen_float_asin(SimpleNode node)
-
gen_float_atan
void gen_float_atan(SimpleNode node)
-
gen_float_cos
void gen_float_cos(SimpleNode node)
-
gen_float_exp
void gen_float_exp(SimpleNode node)
-
gen_float_ln
void gen_float_ln(SimpleNode node)
-
gen_float_log10
void gen_float_log10(SimpleNode node)
-
gen_float_log2
void gen_float_log2(SimpleNode node)
-
gen_float_sqrt
void gen_float_sqrt(SimpleNode node)
-
gen_float_sin
void gen_float_sin(SimpleNode node)
-
gen_float_tan
void gen_float_tan(SimpleNode node)
-
gen_float_max
void gen_float_max(SimpleNode node)
-
gen_float_min
void gen_float_min(SimpleNode node)
-
gen_float_plus
void gen_float_plus(SimpleNode node)
-
gen_float_times
void gen_float_times(SimpleNode node)
-
gen_float_pow
void gen_float_pow(SimpleNode node)
-
gen_float_div
void gen_float_div(SimpleNode node)
-
-