|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MultiGate | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
Uses of MultiGate in kodkod.engine.bool |
---|
Methods in kodkod.engine.bool with parameters of type MultiGate | |
---|---|
T |
BooleanVisitor.visit(MultiGate multigate,
A arg)
Visits the multigate and returns the result. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |