Package org.jacop.fz.constraints
Class BoolConstraints
java.lang.Object
org.jacop.fz.constraints.BoolConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of boolean constraints in flatzinc
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) boolean
(package private) boolean
(package private) SatTranslation
(package private) Store
(package private) 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 -
Method Summary
Modifier and TypeMethodDescription(package private) boolean
(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
(package private) void
gen_array_bool_or
(SimpleNode node) (package private) void
(package private) void
gen_array_bool_xor
(SimpleNode node) (package private) void
(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
(package private) void
(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 Details
-
store
Store store -
reified
boolean reified -
implied
boolean implied -
sat
SatTranslation sat -
support
Support support
-
-
Constructor Details
-
BoolConstraints
-
-
Method Details
-
gen_array_bool_and
-
gen_array_bool_and_imp
-
gen_bool_and
-
gen_bool_and_imp
-
gen_array_bool_or
-
gen_array_bool_or_imp
-
gen_array_bool_xor
-
gen_array_bool_xor_imp
-
gen_bool_not
-
gen_bool_or
-
gen_bool_xor
-
gen_bool_xor_imp
-
gen_bool_clause
-
gen_bool_clause_reif
-
gen_bool_clause_imp
-
gen_bool2int
-
clause_generation
-
allVarOne
-
allVarZero
-
atLeastOneVarZero
-
atLeastOneVarOne
-