• CVC5ApiException
• CVC5ApiOptionException
• CVC5ApiRecoverableException
• Datatype
• DatatypeConstructor
• DatatypeConstructorDecl
• DatatypeDecl
• DatatypeSelector
• Grammar
• Kind
• Op
• OptionInfo
• Pair
• Result
• RoundingMode
• Solver
• Sort
• Stat
• Statistics
• SynthResult
• Term
• Triplet
• UnknownExplanation
• Utils