Class Hierarchy

Package Hierarchies:

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.CVC5ParserException
    - java.lang.RuntimeException
      - io.github.cvc5.CVC5ApiException
        
        io.github.cvc5.CVC5ApiRecoverableException
        
        io.github.cvc5.CVC5ApiOptionException
- io.github.cvc5.Triplet<A,B,C>
- io.github.cvc5.Utils

Interface Hierarchy

io.github.cvc5.IOracle

Enum Class Hierarchy

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

Hierarchy For All Packages

Class Hierarchy

Interface Hierarchy

Enum Class Hierarchy