Package org.jacop.fz.constraints

Class ElementConstraints

java.lang.Object

org.jacop.fz.constraints.ElementConstraints

All Implemented Interfaces:

ParserTreeConstants

class ElementConstraints
extends java.lang.Object
implements ParserTreeConstants

Generation of boolean 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, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Constructor Summary

Constructors

Constructor	Description
ElementConstraints(Support support)

Method Summary

Modifier and Type	Method	Description
(package private) boolean	allFloatSingleton(FloatVar[] vs)
(package private) boolean	allSingleton(IntVar[] vs)
(package private) void	gen_array_float_element(SimpleNode node)
(package private) void	gen_array_int_element(SimpleNode node)
(package private) void	gen_array_set_element(SimpleNode node)
(package private) void	gen_array_var_float_element(SimpleNode node)
(package private) void	gen_array_var_int_element(SimpleNode node)
(package private) void	gen_array_var_set_element(SimpleNode node)
(package private) void	generateFloatElementConstraint(SimpleNode node)
(package private) void	generateIntElementConstraint(SimpleNode node)
(package private) void	generateSetElementConstraint(SimpleNode node)
(package private) void	generateVarElementConstraint(SimpleNode node)
(package private) void	generateVarFloatElementConstraint(SimpleNode node)
(package private) void	generateVarSetElementConstraint(SimpleNode node)
(package private) void	poseElementFloat(IntVar p1, double[] p2, FloatVar p3)
(package private) void	poseElementInteger(IntVar p1, int[] p2, IntVar p3)

Methods inherited from class java.lang.Object

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

Field Detail

support

Support support

store

Store store

Constructor Detail

ElementConstraints

public ElementConstraints(Support support)

Method Detail

gen_array_int_element

void gen_array_int_element(SimpleNode node)

gen_array_var_int_element

void gen_array_var_int_element(SimpleNode node)

gen_array_var_set_element

void gen_array_var_set_element(SimpleNode node)

gen_array_set_element

void gen_array_set_element(SimpleNode node)

gen_array_float_element

void gen_array_float_element(SimpleNode node)

gen_array_var_float_element

void gen_array_var_float_element(SimpleNode node)

generateIntElementConstraint

void generateIntElementConstraint(SimpleNode node)
                           throws FailException

Throws:

FailException

poseElementInteger

void poseElementInteger(IntVar p1,
                        int[] p2,
                        IntVar p3)

generateVarElementConstraint

void generateVarElementConstraint(SimpleNode node)
                           throws FailException

Throws:

FailException

generateSetElementConstraint

void generateSetElementConstraint(SimpleNode node)
                           throws FailException

Throws:

FailException

generateVarSetElementConstraint

void generateVarSetElementConstraint(SimpleNode node)
                              throws FailException

Throws:

FailException

generateFloatElementConstraint

void generateFloatElementConstraint(SimpleNode node)
                             throws FailException

Throws:

FailException

generateVarFloatElementConstraint

void generateVarFloatElementConstraint(SimpleNode node)
                                throws FailException

Throws:

FailException

poseElementFloat

void poseElementFloat(IntVar p1,
                      double[] p2,
                      FloatVar p3)

allSingleton

boolean allSingleton(IntVar[] vs)

allFloatSingleton

boolean allFloatSingleton(FloatVar[] vs)