Uses of Class
kodkod.engine.bool.BooleanFormula

Packages that use BooleanFormula
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
kodkod.engine.config Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. 
 

Uses of BooleanFormula in kodkod.engine.bool
 

Subclasses of BooleanFormula in kodkod.engine.bool
 class BooleanVariable
          Represents a boolean variable.
 class ITEGate
          An if-then-else gate.
 class MultiGate
          A logic gate with two or more inputs; an AND or an OR gate.
 class NotGate
          A logic NOT gate.
 

Methods in kodkod.engine.bool that return BooleanFormula
 BooleanFormula NotGate.input(int i)
          Returns this.input[i].
 BooleanFormula ITEGate.input(int i)
          Returns this.inputs[i].
 BooleanFormula BooleanVariable.input(int i)
          Throws an IndexOutOfBoundsException.
abstract  BooleanFormula BooleanFormula.input(int i)
          Returns the ith input to this gate.
 

Methods in kodkod.engine.bool that return types with arguments of type BooleanFormula
 java.util.Iterator<BooleanFormula> NotGate.iterator()
          Returns an iterator that returns this gate's single input.
 java.util.Iterator<BooleanFormula> ITEGate.iterator()
          Returns an iterator over this.inputs
 java.util.Iterator<BooleanFormula> BooleanVariable.iterator()
          Returns an empty iterator.
abstract  java.util.Iterator<BooleanFormula> BooleanFormula.iterator()
          Returns an iterator over the inputs to this gate.
 

Uses of BooleanFormula in kodkod.engine.config
 

Methods in kodkod.engine.config with parameters of type BooleanFormula
 void Reporter.flattening(BooleanFormula circuit)
          Reports that the stage 5 of the analysis is being performed on the given boolean formula.
 void ConsoleReporter.flattening(BooleanFormula circuit)
           
 void AbstractReporter.flattening(BooleanFormula circuit)
           
 void Reporter.translatingToCNF(BooleanFormula circuit)
          Reports that the given (optimized) circuit is being translated to CNF (stage 6 of the analysis).
 void ConsoleReporter.translatingToCNF(BooleanFormula circuit)
           
 void AbstractReporter.translatingToCNF(BooleanFormula circuit)