Uses of Interface
kodkod.engine.bool.BooleanVisitor

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

Uses of BooleanVisitor in kodkod.engine.bool
 

Methods in kodkod.engine.bool with parameters of type BooleanVisitor
<T,A> T
NotGate.accept(BooleanVisitor<T,A> visitor, A arg)
          Passes this value and the given argument value to the visitor, and returns the resulting value.
<T,A> T
MultiGate.accept(BooleanVisitor<T,A> visitor, A arg)
          Passes this value and the given argument value to the visitor, and returns the resulting value.
<T,A> T
ITEGate.accept(BooleanVisitor<T,A> visitor, A arg)
          Passes this value and the given argument value to the visitor, and returns the resulting value.
<T,A> T
BooleanVariable.accept(BooleanVisitor<T,A> visitor, A arg)
          Passes this value and the given argument value to the visitor, and returns the resulting value.
abstract
<T,A> T
BooleanFormula.accept(BooleanVisitor<T,A> visitor, A arg)
          Passes this value and the given argument value to the visitor, and returns the resulting value.