Hierarchy For All Packages

Package Hierarchies:

• io.github.cvc5,
• io.github.cvc5.modes

Class Hierarchy

• java.lang.Object
  • io.github.cvc5.AbstractPlugin
  • io.github.cvc5.Command
  • io.github.cvc5.Context
  • io.github.cvc5.Datatype (implements java.lang.Iterable<T>)
  • io.github.cvc5.Datatype.ConstIterator (implements java.util.Iterator<E>)
  • io.github.cvc5.DatatypeConstructor (implements java.lang.Iterable<T>)
  • io.github.cvc5.DatatypeConstructor.ConstIterator (implements java.util.Iterator<E>)
  • io.github.cvc5.DatatypeConstructorDecl
  • io.github.cvc5.DatatypeDecl
  • io.github.cvc5.DatatypeSelector
  • io.github.cvc5.Grammar
  • io.github.cvc5.InputParser
  • io.github.cvc5.Op
  • io.github.cvc5.OptionInfo
  • io.github.cvc5.OptionInfo.BaseInfo
    • io.github.cvc5.OptionInfo.ValueInfo<T>
      • io.github.cvc5.OptionInfo.ModeInfo
      • io.github.cvc5.OptionInfo.NumberInfo<T>
    • io.github.cvc5.OptionInfo.VoidInfo
  • io.github.cvc5.Pair<K,V>
  • io.github.cvc5.Proof
  • io.github.cvc5.Result
  • io.github.cvc5.Solver
  • io.github.cvc5.Sort (implements java.lang.Comparable<T>)
  • io.github.cvc5.Stat
  • io.github.cvc5.Statistics (implements java.lang.Iterable<T>)
  • io.github.cvc5.Statistics.ConstIterator (implements java.util.Iterator<E>)
  • io.github.cvc5.SymbolManager
  • io.github.cvc5.SynthResult
  • io.github.cvc5.Term (implements java.lang.Comparable<T>, java.lang.Iterable<T>)
  • io.github.cvc5.Term.ConstIterator (implements java.util.Iterator<E>)
  • io.github.cvc5.TermManager
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • io.github.cvc5.CVC5ApiException
        • io.github.cvc5.CVC5ApiRecoverableException
          • io.github.cvc5.CVC5ApiOptionException
      • io.github.cvc5.CVC5ParserException
  • io.github.cvc5.Triplet<A,B,C>
  • io.github.cvc5.Utils

Interface Hierarchy

• io.github.cvc5.IOracle

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • io.github.cvc5.Kind
    • io.github.cvc5.SortKind
    • io.github.cvc5.ProofRewriteRule
    • io.github.cvc5.ProofRule
    • io.github.cvc5.SkolemId
    • io.github.cvc5.UnknownExplanation
    • io.github.cvc5.modes.BlockModelsMode
    • io.github.cvc5.modes.FindSynthTarget
    • io.github.cvc5.modes.ProofComponent
    • io.github.cvc5.modes.InputLanguage
    • io.github.cvc5.modes.LearnedLitType
    • io.github.cvc5.modes.ProofFormat
    • io.github.cvc5.RoundingMode