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