Package org.jacop.fz.constraints

Class ComparisonConstraints

java.lang.Object

org.jacop.fz.constraints.ComparisonConstraints

All Implemented Interfaces:

ParserTreeConstants

class ComparisonConstraints
extends Object
implements ParserTreeConstants

Field Summary

Fields

Modifier and Type	Field	Description
(package private) SatTranslation	sat
(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
ComparisonConstraints(Support support)

Method Summary

Modifier and Type	Method	Description
(package private) boolean	binaryVar(IntVar v)
(package private) void	gen_bool_eq(SimpleNode node)
(package private) void	gen_bool_eq_imp(SimpleNode node)
(package private) void	gen_bool_eq_reif(SimpleNode node)
(package private) void	gen_bool_ge_imp(SimpleNode node)
(package private) void	gen_bool_gt_imp(SimpleNode node)
(package private) void	gen_bool_le(SimpleNode node)
(package private) void	gen_bool_le_imp(SimpleNode node)
(package private) void	gen_bool_le_reif(SimpleNode node)
(package private) void	gen_bool_lt(SimpleNode node)
(package private) void	gen_bool_lt_imp(SimpleNode node)
(package private) void	gen_bool_lt_reif(SimpleNode node)
(package private) void	gen_bool_ne(SimpleNode node)
(package private) void	gen_bool_ne_imp(SimpleNode node)
(package private) void	gen_bool_ne_reif(SimpleNode node)
(package private) void	gen_int_eq(SimpleNode node)
(package private) void	gen_int_eq_imp(SimpleNode node)
(package private) void	gen_int_eq_reif(SimpleNode node)
(package private) void	gen_int_ge_imp(SimpleNode node)
(package private) void	gen_int_gt_imp(SimpleNode node)
(package private) void	gen_int_le(SimpleNode node)
(package private) void	gen_int_le_imp(SimpleNode node)
(package private) void	gen_int_le_reif(SimpleNode node)
(package private) void	gen_int_lt(SimpleNode node)
(package private) void	gen_int_lt_imp(SimpleNode node)
(package private) void	gen_int_lt_reif(SimpleNode node)
(package private) void	gen_int_ne(SimpleNode node)
(package private) void	gen_int_ne_imp(SimpleNode node)
(package private) void	gen_int_ne_reif(SimpleNode node)
(package private) boolean	generateForEq(IntVar v1, IntVar v2, IntVar b)
(package private) boolean	generateForEqC(IntVar v1, int i2, IntVar b)
(package private) boolean	generateForNeq(IntVar v1, IntVar v2, IntVar b)
(package private) boolean	generateForNeqC(IntVar v1, int i2, IntVar b)
(package private) void	int_comparison(int operation, SimpleNode node)
(package private) void	int_comparison_imp(int operation, SimpleNode node)
(package private) void	int_comparison_reif(int operation, 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

sat

SatTranslation sat

Constructor Details

ComparisonConstraints

public ComparisonConstraints(Support support)

Method Details

gen_bool_eq

void gen_bool_eq(SimpleNode node)

gen_bool_eq_reif

void gen_bool_eq_reif(SimpleNode node)

gen_bool_eq_imp

void gen_bool_eq_imp(SimpleNode node)

gen_bool_ne

void gen_bool_ne(SimpleNode node)

gen_bool_ne_reif

void gen_bool_ne_reif(SimpleNode node)

gen_bool_ne_imp

void gen_bool_ne_imp(SimpleNode node)

gen_bool_le

void gen_bool_le(SimpleNode node)

gen_bool_le_reif

void gen_bool_le_reif(SimpleNode node)

gen_bool_le_imp

void gen_bool_le_imp(SimpleNode node)

gen_bool_lt

void gen_bool_lt(SimpleNode node)

gen_bool_lt_reif

void gen_bool_lt_reif(SimpleNode node)

gen_bool_lt_imp

void gen_bool_lt_imp(SimpleNode node)

gen_bool_gt_imp

void gen_bool_gt_imp(SimpleNode node)

gen_bool_ge_imp

void gen_bool_ge_imp(SimpleNode node)

gen_int_eq

void gen_int_eq(SimpleNode node)

gen_int_eq_reif

void gen_int_eq_reif(SimpleNode node)

gen_int_eq_imp

void gen_int_eq_imp(SimpleNode node)

gen_int_ne

void gen_int_ne(SimpleNode node)

gen_int_ne_reif

void gen_int_ne_reif(SimpleNode node)

gen_int_ne_imp

void gen_int_ne_imp(SimpleNode node)

gen_int_le

void gen_int_le(SimpleNode node)

gen_int_le_reif

void gen_int_le_reif(SimpleNode node)

gen_int_le_imp

void gen_int_le_imp(SimpleNode node)

gen_int_lt

void gen_int_lt(SimpleNode node)

gen_int_lt_reif

void gen_int_lt_reif(SimpleNode node)

gen_int_lt_imp

void gen_int_lt_imp(SimpleNode node)

gen_int_gt_imp

void gen_int_gt_imp(SimpleNode node)

gen_int_ge_imp

void gen_int_ge_imp(SimpleNode node)

int_comparison

void int_comparison(int operation,
 SimpleNode node)

int_comparison_reif

void int_comparison_reif(int operation,
 SimpleNode node)

int_comparison_imp

void int_comparison_imp(int operation,
 SimpleNode node)

generateForEqC

boolean generateForEqC(IntVar v1,
 int i2,
 IntVar b)

generateForNeqC

boolean generateForNeqC(IntVar v1,
 int i2,
 IntVar b)

generateForEq

boolean generateForEq(IntVar v1,
 IntVar v2,
 IntVar b)

generateForNeq

boolean generateForNeq(IntVar v1,
 IntVar v2,
 IntVar b)

binaryVar

boolean binaryVar(IntVar v)