Package org.jacop.fz

Class Constraints

java.lang.Object

org.jacop.fz.Constraints

All Implemented Interfaces:

ParserTreeConstants

public class Constraints
extends java.lang.Object
implements ParserTreeConstants

The part of the parser responsible for parsing constraints.

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
(package private) ConstraintFncs	cf
(package private) boolean	debug
(package private) Tables	dictionary
(package private) static int	eq
(package private) static int	ge
(package private) static int	gt
(package private) static int	le
(package private) static int	lt
(package private) static int	ne
(package private) java.lang.String	p
(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, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Constructor Summary

Constructors

Constructor	Description
Constraints(Store store, Tables dict)	It creates an object to parse the constraint part of the flatzinc file.

Method Summary

Modifier and Type	Method	Description
(package private) void	generateAlias(SimpleNode constraintWithAnnotations)
(package private) void	generateAllConstraints(SimpleNode astTree)
(package private) void	generateConstraint(SimpleNode constraintWithAnnotations)
(package private) void	setOptions(Options options)

Methods inherited from class java.lang.Object

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

Field Detail

dictionary

Tables dictionary

store

Store store

p

java.lang.String p

debug

boolean debug

eq

static final int eq

See Also:

Constant Field Values

ne

static final int ne

See Also:

Constant Field Values

lt

static final int lt

See Also:

Constant Field Values

gt

static final int gt

See Also:

Constant Field Values

le

static final int le

See Also:

Constant Field Values

ge

static final int ge

See Also:

Constant Field Values

sat

SatTranslation sat

support

Support support

cf

final ConstraintFncs cf

Constructor Detail

Constraints

public Constraints(Store store,
                   Tables dict)

It creates an object to parse the constraint part of the flatzinc file.

Parameters:

store - the constraint store in which the constraints are being created.

dict - the current dictionary (tables of all variables and constants)

Method Detail

setOptions

void setOptions(Options options)

generateAllConstraints

void generateAllConstraints(SimpleNode astTree)
                     throws java.lang.Throwable

Throws:

java.lang.Throwable

generateConstraint

void generateConstraint(SimpleNode constraintWithAnnotations)
                 throws java.lang.Throwable

Throws:

java.lang.Throwable

generateAlias

void generateAlias(SimpleNode constraintWithAnnotations)