FloatComparisonConstraints

java.lang.Object

org.jacop.fz.constraints.FloatComparisonConstraints

All Implemented Interfaces:: ParserTreeConstants

class FloatComparisonConstraints 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

FloatComparisonConstraints(Support support)
Method Summary

Modifier and Type

Method

Description

(package private) void

float_comparison(int operation, SimpleNode node)

(package private) void

gen_float_eq(SimpleNode node)

(package private) void

gen_float_eq_reif(SimpleNode node)

(package private) void

gen_float_le(SimpleNode node)

(package private) void

gen_float_le_reif(SimpleNode node)

(package private) void

gen_float_lt(SimpleNode node)

(package private) void

gen_float_lt_reif(SimpleNode node)

(package private) void

gen_float_ne(SimpleNode node)

(package private) void

gen_float_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
- FloatComparisonConstraints
  
  public FloatComparisonConstraints(Support support)
Method Details
- gen_float_eq
  
  void gen_float_eq(SimpleNode node)
- gen_float_eq_reif
  
  void gen_float_eq_reif(SimpleNode node)
- gen_float_ne
  
  void gen_float_ne(SimpleNode node)
- gen_float_ne_reif
  
  void gen_float_ne_reif(SimpleNode node)
- gen_float_le
  
  void gen_float_le(SimpleNode node)
- gen_float_le_reif
  
  void gen_float_le_reif(SimpleNode node)
- gen_float_lt
  
  void gen_float_lt(SimpleNode node)
- gen_float_lt_reif
  
  void gen_float_lt_reif(SimpleNode node)
- float_comparison
  
  void float_comparison(int operation, SimpleNode node)