Package org.jacop.fz.constraints

Class FloatOperationConstraints

java.lang.Object

org.jacop.fz.constraints.FloatOperationConstraints

All Implemented Interfaces:

ParserTreeConstants

class FloatOperationConstraints
extends 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, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Constructor Summary

Constructors

Constructor	Description
FloatOperationConstraints(Support support)

Method Summary

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_ceil(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_floor(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_round(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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

support

Support support

store

Store store

Constructor Details

FloatOperationConstraints

public FloatOperationConstraints(Support support)

Method Details

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)

gen_float_round

void gen_float_round(SimpleNode node)

gen_float_floor

void gen_float_floor(SimpleNode node)

gen_float_ceil

void gen_float_ceil(SimpleNode node)