Uses of Class
kodkod.engine.bool.BooleanFactory

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

Uses of BooleanFactory in kodkod.engine.bool
 

Methods in kodkod.engine.bool that return BooleanFactory
static BooleanFactory BooleanFactory.constantFactory(Options options)
          Returns a BooleanFactory with no variables; the returned factory can manipulate only constants.
 BooleanFactory Int.factory()
          Returns this.factory
 BooleanFactory BooleanMatrix.factory()
          Returns the factory used to construct all the non-constant entries in this matrix.
static BooleanFactory BooleanFactory.factory(int numVars, Options options)
          Returns a boolean factory, initialized to contain the given number of boolean variables.