Package io.github.cvc5

Class Summary

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

Enum Summary

Enum	Description
Kind
RoundingMode
UnknownExplanation

Exception Summary

Exception	Description
CVC5ApiException
CVC5ApiOptionException
CVC5ApiRecoverableException