Uses of Class
org.jacop.core.BooleanVar
Packages that use BooleanVar
-
Uses of BooleanVar in org.jacop.core
Fields in org.jacop.core declared as BooleanVarModifier and TypeFieldDescriptionIt stores boolean variables as soon as they change (become grounded or number of constraints being attached is changed).Methods in org.jacop.core with parameters of type BooleanVarModifier and TypeMethodDescriptionboolean
BooleanVar.eq
(BooleanVar var) It checks if the domains of variables are equal.void
Store.recordBooleanChange
(BooleanVar recordedVariable) Any boolean variable which is changed must be recorded by store, so it can be restored to the previous state if backtracking is performed. -
Uses of BooleanVar in org.jacop.examples.fd
Methods in org.jacop.examples.fd with parameters of type BooleanVarModifier and TypeMethodDescriptionvoid
Gates.and
(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an and relationship between two input parameters and an output parameter.void
Gates.not
(BooleanVar in, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an not relationship between input parameter and an output parameter.void
Gates.or
(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an or relationship between two input parameters and an output parameter.void
Gates.xor
(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an xor relationship between two input parameters and an output parameter. -
Uses of BooleanVar in org.jacop.fz
Fields in org.jacop.fz declared as BooleanVarModifier and TypeFieldDescription(package private) BooleanVar[]
DefaultSearchVars.bool_search_variables
Fields in org.jacop.fz with type parameters of type BooleanVarModifier and TypeFieldDescription(package private) HashMap
<Integer, BooleanVar> Tables.constantTableBoolean
Methods in org.jacop.fz that return BooleanVarModifier and TypeMethodDescription(package private) BooleanVar[]
DefaultSearchVars.getBoolVars()
Tables.getConstantBoolean
(int c) -
Uses of BooleanVar in org.jacop.satwrapper
Fields in org.jacop.satwrapper with type parameters of type BooleanVar