Class Hierarchy
- java.lang.Object
- 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.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.OptionInfo.ValueInfo<T>
- io.github.cvc5.Pair<K,V>
- io.github.cvc5.Result
- io.github.cvc5.Solver (implements java.lang.AutoCloseable)
- 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.SynthResult
- io.github.cvc5.Term (implements java.lang.Comparable<T>, java.lang.Iterable<T>)
- io.github.cvc5.Term.ConstIterator (implements java.util.Iterator<E>)
- 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.CVC5ApiRecoverableException
- io.github.cvc5.CVC5ApiException
- java.lang.Exception
- io.github.cvc5.Triplet<A,B,C>
- io.github.cvc5.Utils
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
- io.github.cvc5.Kind
- io.github.cvc5.RoundingMode
- io.github.cvc5.UnknownExplanation
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)