Hierarchy For Package kodkod.engine

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • kodkod.engine.Evaluator
  • kodkod.engine.IncrementalSolver (implements kodkod.engine.KodkodSolver)
  • kodkod.engine.Proof
  • kodkod.engine.Solution
  • kodkod.engine.Solver (implements kodkod.engine.KodkodSolver)
  • kodkod.engine.Statistics
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • kodkod.engine.AbortedException
        • kodkod.engine.CapacityExceededException

Interface Hierarchy

• kodkod.engine.KodkodSolver

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • kodkod.engine.Solution.Outcome