All Classes
-
All Classes Interface Summary Class Summary Enum Summary Exception Summary Class Description AbstractPlugin BlockModelsMode Command Context CVC5ApiException CVC5ApiOptionException CVC5ApiRecoverableException CVC5ParserException 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.FindSynthTarget Grammar A Sygus Grammar.InputLanguage InputParser This class is the main interface for retrieving commands and expressions from an input using a parser.IOracle Kind LearnedLitType 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.ProofComponent ProofFormat ProofRewriteRule ProofRule Result Encapsulation of a three-valued solver result, with explanations.RoundingMode SkolemId Solver A cvc5 solver.Sort The sort of a cvc5 term.SortKind 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> UnknownExplanation Utils