Uses of Class
org.jacop.core.BooleanVar
-
Packages that use BooleanVar Package Description org.jacop.core org.jacop.examples.fd org.jacop.fz org.jacop.satwrapper -
-
Uses of BooleanVar in org.jacop.core
Fields in org.jacop.core declared as BooleanVar Modifier and Type Field Description BooleanVar[]
Store. changeHistory4BooleanVariables
It 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 BooleanVar Modifier and Type Method Description boolean
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 BooleanVar Modifier and Type Method Description void
Gates. and(BooleanVar in1, BooleanVar in2, BooleanVar out, java.util.function.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, java.util.function.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, java.util.function.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, java.util.function.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 with type parameters of type BooleanVar Modifier and Type Field Description (package private) java.util.HashMap<java.lang.Integer,BooleanVar>
Tables. constantTableBoolean
Methods in org.jacop.fz that return BooleanVar Modifier and Type Method Description BooleanVar
Tables. getConstantBoolean(int c)
-
Uses of BooleanVar in org.jacop.satwrapper
Fields in org.jacop.satwrapper with type parameters of type BooleanVar Modifier and Type Field Description private java.util.Set<BooleanVar>
SatChangesListener. booleanVarsToUpdate
-