| Command |
|
| Context |
|
| 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.
|
| InputParser |
This class is the main interface for retrieving commands and expressions
from an input using a parser.
|
| 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> |
|
| Proof |
A cvc5 Proof.
|
| 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 |
|
| SymbolManager |
|
| SynthResult |
Encapsulation of a solver synth result.
|
| Term |
A cvc5 Term.
|
| Triplet<A,B,C> |
|
| Utils |
|