Uses of Class
kodkod.engine.bool.BooleanAccumulator

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

Uses of BooleanAccumulator in kodkod.engine.bool
 

Methods in kodkod.engine.bool that return BooleanAccumulator
static BooleanAccumulator BooleanAccumulator.treeGate(Operator.Nary op)
          Returns a tree based implementation of BooleanAccumulator.
static BooleanAccumulator BooleanAccumulator.treeGate(Operator.Nary op, BooleanValue[] inputs)
          Returns a tree based implementation of BooleanAccumulator, initialized with the given inputs.
 

Methods in kodkod.engine.bool with parameters of type BooleanAccumulator
 BooleanValue BooleanFactory.accumulate(BooleanAccumulator g)
          Converts the given accumulator into an immutable boolean value and adds it to this.components.