|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||
---|---|---|
|
NotGate.accept(BooleanVisitor<T,A> visitor,
A arg)
Passes this value and the given argument value to the visitor, and returns the resulting value. |
|
|
MultiGate.accept(BooleanVisitor<T,A> visitor,
A arg)
Passes this value and the given argument value to the visitor, and returns the resulting value. |
|
|
ITEGate.accept(BooleanVisitor<T,A> visitor,
A arg)
Passes this value and the given argument value to the visitor, and returns the resulting value. |
|
|
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
|
BooleanFormula.accept(BooleanVisitor<T,A> visitor,
A arg)
Passes this value and the given argument value to the visitor, and returns the resulting value. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |