Package org.jacop.fz.constraints
Class BoolConstraints
- java.lang.Object
-
- org.jacop.fz.constraints.BoolConstraints
-
- All Implemented Interfaces:
ParserTreeConstants
class BoolConstraints extends java.lang.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, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
-
-
Constructor Summary
Constructors Constructor Description BoolConstraints(Support support)
-
Method Summary
All Methods Instance Methods Concrete Methods 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)
-
-
-
Field Detail
-
store
Store store
-
reified
boolean reified
-
implied
boolean implied
-
sat
SatTranslation sat
-
support
Support support
-
-
Constructor Detail
-
BoolConstraints
public BoolConstraints(Support support)
-
-
Method Detail
-
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)
-
-