Uses of Class
org.jacop.core.BooleanVar

Packages that use BooleanVar

Package	Description
org.jacop.core
org.jacop.examples.fd

Uses of BooleanVar in org.jacop.core

Fields in org.jacop.core declared as BooleanVar

Modifier and Type	Field and 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 and 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 and Description
void	Gates.and(BooleanVar in1, BooleanVar in2, BooleanVar out) It imposes an extensional constraint enforcing an and relationship between two input parameters and an output parameter.
void	Gates.not(BooleanVar in, BooleanVar out) 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) 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) It imposes an extensional constraint enforcing an xor relationship between two input parameters and an output parameter.