Package io.github.cvc5
-
Interface Summary Interface Description IOracle -
Class Summary Class Description AbstractPlugin 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.TermManager A cvc5 term manager.Triplet<A,B,C> Utils -
Enum Summary Enum Description Kind ProofRewriteRule ProofRule RoundingMode SkolemId SortKind UnknownExplanation -
Exception Summary Exception Description CVC5ApiException CVC5ApiOptionException CVC5ApiRecoverableException CVC5ParserException