Hierarchy For Package kodkod.engine.bool

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • kodkod.engine.bool.BooleanFactory
  • kodkod.engine.bool.BooleanMatrix (implements java.lang.Cloneable, java.lang.Iterable<T>)
  • kodkod.engine.bool.BooleanValue (implements java.lang.Comparable<T>)
    • kodkod.engine.bool.BooleanAccumulator (implements java.lang.Iterable<T>)
    • kodkod.engine.bool.BooleanConstant
    • kodkod.engine.bool.BooleanFormula (implements java.lang.Iterable<T>)
      • kodkod.engine.bool.BooleanVariable
      • kodkod.engine.bool.ITEGate
      • kodkod.engine.bool.MultiGate
      • kodkod.engine.bool.NotGate
  • kodkod.engine.bool.Dimensions
  • kodkod.engine.bool.Int
  • kodkod.engine.bool.Operator (implements java.lang.Comparable<T>)
    • kodkod.engine.bool.Operator.Nary

Interface Hierarchy

• kodkod.engine.bool.BooleanVisitor<T,A>