Uses of Class
kodkod.engine.bool.NotGate

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.