All Classes
-
All Classes Interface Summary Class Summary Enum Summary Exception Summary Class Description Context CVC5ApiException CVC5ApiOptionException CVC5ApiRecoverableException Datatype A cvc5 datatype.DatatypeConstructor A cvc5 datatype constructor.DatatypeConstructorDecl A cvc5 datatype constructor declaration.DatatypeDecl A cvc5 datatype declaration.DatatypeSelector A cvc5 datatype selector.Grammar A Sygus Grammar.IOracle Kind Op A cvc5 operator.OptionInfo Holds some description about a particular option, including its name, its aliases, whether the option was explicitly set by the user, and information concerning its value.Pair<K,V> Result Encapsulation of a three-valued solver result, with explanations.RoundingMode Solver A cvc5 solver.Sort The sort of a cvc5 term.SortKind Stat Represents a snapshot of a single statistic value.Statistics SynthResult Encapsulation of a solver synth result.Term A cvc5 Term.Triplet<A,B,C> UnknownExplanation Utils