Hierarchy For All Packages

Package Hierarchies:

kodkod.engine.config, kodkod.engine.fol2sat, kodkod.engine.fol2sat.ordering, kodkod.engine.satlab

Class Hierarchy

• java.lang.Object
  • kodkod.engine.satlab.MiniSat (implements kodkod.engine.satlab.OrderableSolver)
  • kodkod.engine.config.Options
  • kodkod.engine.fol2sat.ordering.OrderingMethod
    • kodkod.engine.fol2sat.ordering.DefaultOrdering
    • kodkod.engine.fol2sat.ordering.InitializePrimaryVariables
    • kodkod.engine.fol2sat.ordering.InputRestrictedBranching
  • kodkod.engine.fol2sat.Translator

Interface Hierarchy

• kodkod.engine.satlab.OrderableSolver

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • kodkod.engine.config.Options.IntEncoding