Package org.jacop.fz.constraints

Class BoolConstraints

java.lang.Object

org.jacop.fz.constraints.BoolConstraints

All Implemented Interfaces:

ParserTreeConstants

class BoolConstraints
extends Object
implements ParserTreeConstants

Generation of boolean constraints in flatzinc

Field Summary

Fields

Modifier and Type	Field	Description
(package private) boolean	implied
(package private) boolean	reified
(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
BoolConstraints(Support support)

Method Summary

Modifier and Type	Method	Description
(package private) boolean	allVarOne(IntVar[] w)
(package private) boolean	allVarZero(IntVar[] w)
(package private) boolean	atLeastOneVarOne(IntVar[] w)
(package private) boolean	atLeastOneVarZero(IntVar[] w)
(package private) void	clause_generation(SimpleNode node)
(package private) void	gen_array_bool_and(SimpleNode node)
(package private) void	gen_array_bool_and_imp(SimpleNode node)
(package private) void	gen_array_bool_or(SimpleNode node)
(package private) void	gen_array_bool_or_imp(SimpleNode node)
(package private) void	gen_array_bool_xor(SimpleNode node)
(package private) void	gen_array_bool_xor_imp(SimpleNode node)
(package private) void	gen_bool_and(SimpleNode node)
(package private) void	gen_bool_and_imp(SimpleNode node)
(package private) void	gen_bool_clause(SimpleNode node)
(package private) void	gen_bool_clause_imp(SimpleNode node)
(package private) void	gen_bool_clause_reif(SimpleNode node)
(package private) void	gen_bool_not(SimpleNode node)
(package private) void	gen_bool_or(SimpleNode node)
(package private) void	gen_bool_xor(SimpleNode node)
(package private) void	gen_bool_xor_imp(SimpleNode node)
(package private) void	gen_bool2int(SimpleNode node)

Methods inherited from class java.lang.Object

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

Field Details

store

Store store

reified

boolean reified

implied

boolean implied

sat

SatTranslation sat

support

Support support

Constructor Details

BoolConstraints

public BoolConstraints(Support support)

Method Details

gen_array_bool_and

void gen_array_bool_and(SimpleNode node)

gen_array_bool_and_imp

void gen_array_bool_and_imp(SimpleNode node)

gen_bool_and

void gen_bool_and(SimpleNode node)

gen_bool_and_imp

void gen_bool_and_imp(SimpleNode node)

gen_array_bool_or

void gen_array_bool_or(SimpleNode node)

gen_array_bool_or_imp

void gen_array_bool_or_imp(SimpleNode node)

gen_array_bool_xor

void gen_array_bool_xor(SimpleNode node)

gen_array_bool_xor_imp

void gen_array_bool_xor_imp(SimpleNode node)

gen_bool_not

void gen_bool_not(SimpleNode node)

gen_bool_or

void gen_bool_or(SimpleNode node)

gen_bool_xor

void gen_bool_xor(SimpleNode node)

gen_bool_xor_imp

void gen_bool_xor_imp(SimpleNode node)

gen_bool_clause

void gen_bool_clause(SimpleNode node)

gen_bool_clause_reif

void gen_bool_clause_reif(SimpleNode node)

gen_bool_clause_imp

void gen_bool_clause_imp(SimpleNode node)

gen_bool2int

void gen_bool2int(SimpleNode node)

clause_generation

void clause_generation(SimpleNode node)

allVarOne

boolean allVarOne(IntVar[] w)

allVarZero

boolean allVarZero(IntVar[] w)

atLeastOneVarZero

boolean atLeastOneVarZero(IntVar[] w)

atLeastOneVarOne

boolean atLeastOneVarOne(IntVar[] w)