All Classes

Class	Description
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.
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