OperationConstraints

java.lang.Object

org.jacop.fz.constraints.OperationConstraints

All Implemented Interfaces:: ParserTreeConstants

class OperationConstraints extends Object implements ParserTreeConstants

Generation of linear 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

OperationConstraints(Support support)
Method Summary

Modifier and Type

Method

Description

(package private) void

gen_int_abs(SimpleNode node)

(package private) void

gen_int_div(SimpleNode node)

(package private) void

gen_int_max(SimpleNode node)

(package private) void

gen_int_min(SimpleNode node)

(package private) void

gen_int_mod(SimpleNode node)

(package private) void

gen_int_plus(SimpleNode node)

(package private) void

gen_int_pow(SimpleNode node)

(package private) void

gen_int_times(SimpleNode node)

(package private) void

gen_int2float(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
- OperationConstraints
  
  public OperationConstraints(Support support)
Method Details
- gen_int_min
  
  void gen_int_min(SimpleNode node)
- gen_int_max
  
  void gen_int_max(SimpleNode node)
- gen_int_mod
  
  void gen_int_mod(SimpleNode node)
- gen_int_div
  
  void gen_int_div(SimpleNode node)
- gen_int_abs
  
  void gen_int_abs(SimpleNode node)
- gen_int_times
  
  void gen_int_times(SimpleNode node)
- gen_int_plus
  
  void gen_int_plus(SimpleNode node)
- gen_int2float
  
  void gen_int2float(SimpleNode node)
- gen_int_pow
  
  void gen_int_pow(SimpleNode node)