Hierarchy For All Packages

Package Hierarchies:

• kodkod.ast,
• kodkod.ast.operator,
• kodkod.ast.visitor,
• kodkod.engine,
• kodkod.engine.bool,
• kodkod.engine.config,
• kodkod.engine.fol2sat,
• kodkod.engine.satlab,
• kodkod.engine.ucore,
• kodkod.instance,
• kodkod.util.collections,
• kodkod.util.ints,
• kodkod.util.nodes

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • kodkod.util.collections.CacheSet<E>
      • kodkod.util.collections.IdentityHashSet<T>
      • kodkod.util.collections.SingletonIdentitySet<V>
      • kodkod.instance.TupleSet (implements java.lang.Cloneable)
  • kodkod.ast.visitor.AbstractCollector<T> (implements kodkod.ast.visitor.ReturnVisitor<E,F,D,I>)
  • kodkod.ast.visitor.AbstractDetector (implements kodkod.ast.visitor.ReturnVisitor<E,F,D,I>)
  • kodkod.util.ints.AbstractIntCollection (implements kodkod.util.ints.IntCollection)
    • kodkod.util.ints.AbstractIntSet (implements kodkod.util.ints.IntSet)
      • kodkod.util.ints.ArrayIntSet
      • kodkod.util.ints.IntBitSet (implements java.lang.Cloneable)
      • kodkod.util.ints.IntTreeSet (implements java.lang.Cloneable)
    • kodkod.util.ints.AbstractIntVector (implements kodkod.util.ints.IntVector)
      • kodkod.util.ints.ArrayIntVector
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • kodkod.util.collections.FixedMap<K,V> (implements kodkod.util.collections.Indexer<K>)
  • kodkod.ast.visitor.AbstractReplacer (implements kodkod.ast.visitor.ReturnVisitor<E,F,D,I>)
  • kodkod.engine.config.AbstractReporter (implements kodkod.engine.config.Reporter)
  • kodkod.util.ints.AbstractSparseSequence<V> (implements kodkod.util.ints.SparseSequence<V>)
    • kodkod.util.ints.ArraySequence<V> (implements java.lang.Cloneable)
    • kodkod.util.ints.HomogenousSequence<V>
    • kodkod.util.ints.RangeSequence<V> (implements java.lang.Cloneable)
    • kodkod.util.ints.TreeSequence<V> (implements java.lang.Cloneable)
  • kodkod.ast.visitor.AbstractVoidVisitor (implements kodkod.ast.visitor.VoidVisitor)
  • kodkod.engine.ucore.AdaptiveRCEStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.util.nodes.AnnotatedNode<N>
  • 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.instance.Bounds (implements java.lang.Cloneable)
  • kodkod.engine.satlab.Clause
  • kodkod.engine.config.ConsoleReporter (implements kodkod.engine.config.Reporter)
  • kodkod.util.collections.Containers
  • kodkod.engine.ucore.CRRStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.engine.bool.Dimensions
  • kodkod.engine.ucore.DynamicRCEStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.engine.ucore.ECFPStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.engine.Evaluator
  • kodkod.engine.ucore.HybridStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.engine.IncrementalSolver (implements kodkod.engine.KodkodSolver)
  • kodkod.instance.Instance (implements java.lang.Cloneable)
  • kodkod.engine.bool.Int
  • kodkod.util.ints.IntRange
  • kodkod.util.ints.Ints
  • kodkod.engine.ucore.NCEStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.ast.Node
    • kodkod.ast.Decls (implements java.lang.Iterable<T>)
      • kodkod.ast.Decl
    • kodkod.ast.Expression
      • kodkod.ast.BinaryExpression
      • kodkod.ast.Comprehension
      • kodkod.ast.IfExpression
      • kodkod.ast.IntToExprCast
      • kodkod.ast.LeafExpression
        • kodkod.ast.ConstantExpression
        • kodkod.ast.Relation
        • kodkod.ast.Variable
      • kodkod.ast.NaryExpression (implements java.lang.Iterable<T>)
      • kodkod.ast.ProjectExpression
      • kodkod.ast.UnaryExpression
    • kodkod.ast.Formula
      • kodkod.ast.BinaryFormula
      • kodkod.ast.ComparisonFormula
      • kodkod.ast.ConstantFormula
      • kodkod.ast.IntComparisonFormula
      • kodkod.ast.MultiplicityFormula
      • kodkod.ast.NaryFormula (implements java.lang.Iterable<T>)
      • kodkod.ast.NotFormula
      • kodkod.ast.QuantifiedFormula
      • kodkod.ast.RelationPredicate
        • kodkod.ast.RelationPredicate.Acyclic
        • kodkod.ast.RelationPredicate.Function
        • kodkod.ast.RelationPredicate.TotalOrdering
    • kodkod.ast.IntExpression
      • kodkod.ast.BinaryIntExpression
      • kodkod.ast.ExprToIntCast
      • kodkod.ast.IfIntExpression
      • kodkod.ast.IntConstant
      • kodkod.ast.NaryIntExpression (implements java.lang.Iterable<T>)
      • kodkod.ast.SumExpression
      • kodkod.ast.UnaryIntExpression
  • kodkod.util.nodes.Nodes
  • kodkod.engine.bool.Operator (implements java.lang.Comparable<T>)
    • kodkod.engine.bool.Operator.Nary
  • kodkod.engine.config.Options (implements java.lang.Cloneable)
  • kodkod.util.nodes.PrettyPrinter
  • kodkod.engine.Proof
  • kodkod.engine.ucore.RCEStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.engine.satlab.SATFactory
  • kodkod.engine.ucore.SCEStrategy (implements kodkod.engine.satlab.ReductionStrategy)
  • kodkod.engine.Solution
  • kodkod.engine.Solver (implements kodkod.engine.KodkodSolver)
  • kodkod.util.collections.Stack<T> (implements java.lang.Iterable<T>)
    • kodkod.util.collections.ArrayStack<T>
    • kodkod.util.collections.LinkedStack<T>
  • kodkod.engine.Statistics
  • kodkod.engine.ucore.StrategyUtils
  • kodkod.engine.fol2sat.SymmetryDetector
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • kodkod.engine.AbortedException
        • kodkod.engine.CapacityExceededException
        • kodkod.engine.fol2sat.HigherOrderDeclException
        • kodkod.engine.satlab.SATAbortedException
        • kodkod.engine.fol2sat.UnboundLeafException
  • kodkod.engine.fol2sat.Translation
    • kodkod.engine.fol2sat.Translation.Incremental
    • kodkod.engine.fol2sat.Translation.Whole
  • kodkod.engine.fol2sat.TranslationLog
  • kodkod.engine.fol2sat.TranslationRecord
  • kodkod.engine.fol2sat.Translator
  • kodkod.instance.Tuple
  • kodkod.instance.TupleFactory
  • kodkod.instance.Universe (implements java.lang.Iterable<T>)

Interface Hierarchy

• kodkod.engine.bool.BooleanVisitor<T,A>
• java.lang.Cloneable
  • kodkod.util.ints.IntSet (also extends kodkod.util.ints.IntCollection)
• kodkod.util.ints.IndexedEntry<E>
• kodkod.util.collections.Indexer<K>
• kodkod.util.ints.IntCollection
  • kodkod.util.ints.IntSet (also extends java.lang.Cloneable)
  • kodkod.util.ints.IntVector
• kodkod.util.ints.IntIterator
• java.lang.Iterable<T>
  • kodkod.engine.satlab.ResolutionTrace
  • kodkod.util.ints.SparseSequence<V>
• kodkod.engine.KodkodSolver
• kodkod.engine.fol2sat.RecordFilter
• kodkod.engine.satlab.ReductionStrategy
• kodkod.engine.config.Reporter
• kodkod.ast.visitor.ReturnVisitor<E,F,D,I>
• kodkod.engine.satlab.SATSolver
  • kodkod.engine.satlab.SATProver
• kodkod.ast.visitor.VoidVisitor

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • kodkod.ast.RelationPredicate.Name
    • kodkod.ast.operator.Quantifier
    • kodkod.ast.operator.Multiplicity
    • kodkod.ast.operator.IntOperator
    • kodkod.ast.operator.IntCompOperator
    • kodkod.ast.operator.IntCastOperator
    • kodkod.ast.operator.FormulaOperator
    • kodkod.ast.operator.ExprOperator
    • kodkod.ast.operator.ExprCompOperator
    • kodkod.ast.operator.ExprCastOperator
    • kodkod.engine.Solution.Outcome
    • kodkod.engine.config.Options.IntEncoding