Uses of Class
kodkod.engine.bool.BooleanVariable

Packages that use BooleanVariable
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
 

Uses of BooleanVariable in kodkod.engine.bool
 

Methods in kodkod.engine.bool that return BooleanVariable
 BooleanVariable BooleanFactory.variable(int label)
          Returns the variable with the given label.
 

Methods in kodkod.engine.bool with parameters of type BooleanVariable
 T BooleanVisitor.visit(BooleanVariable variable, A arg)
          Visits the variable and returns the result.