Package org.jacop.fz.constraints

Class FloatLinearConstraints

java.lang.Object

org.jacop.fz.constraints.FloatLinearConstraints

All Implemented Interfaces:

ParserTreeConstants

class FloatLinearConstraints
extends Object
implements ParserTreeConstants

Generation of set constraints in flatzinc

Field Summary

Fields

Modifier and Type	Field	Description
(package private) boolean	reified
(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
FloatLinearConstraints(Support support)

Method Summary

Modifier and Type	Method	Description
(package private) void	float_lin_relation(int operation, SimpleNode node)
(package private) void	gen_float_lin_eq(SimpleNode node)
(package private) void	gen_float_lin_eq_reif(SimpleNode node)
(package private) void	gen_float_lin_le(SimpleNode node)
(package private) void	gen_float_lin_le_reif(SimpleNode node)
(package private) void	gen_float_lin_lt(SimpleNode node)
(package private) void	gen_float_lin_lt_reif(SimpleNode node)
(package private) void	gen_float_lin_ne(SimpleNode node)
(package private) void	gen_float_lin_ne_reif(SimpleNode node)

Methods inherited from class java.lang.Object

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

Field Details

reified

boolean reified

support

Support support

store

Store store

Constructor Details

FloatLinearConstraints

public FloatLinearConstraints(Support support)

Method Details

gen_float_lin_eq

void gen_float_lin_eq(SimpleNode node)

gen_float_lin_eq_reif

void gen_float_lin_eq_reif(SimpleNode node)

gen_float_lin_le

void gen_float_lin_le(SimpleNode node)

gen_float_lin_le_reif

void gen_float_lin_le_reif(SimpleNode node)

gen_float_lin_lt

void gen_float_lin_lt(SimpleNode node)

gen_float_lin_lt_reif

void gen_float_lin_lt_reif(SimpleNode node)

gen_float_lin_ne

void gen_float_lin_ne(SimpleNode node)

gen_float_lin_ne_reif

void gen_float_lin_ne_reif(SimpleNode node)

float_lin_relation

void float_lin_relation(int operation,
 SimpleNode node)
                 throws FailException

Throws:

FailException