Uses of Class
kodkod.engine.bool.MultiGate

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.