[−] List of all items
Structs
- Binding
- ConstructorDeclaration
- Context
- DataTypeDeclaration
- GroundSort
- MatchCase
- SelectorDeclaration
- SortDeclaration
- Sorted
- SortedVar
- UnresolvedConstructorDeclaration
- UnresolvedDataTypeDeclaration
- UnresolvedSelectorDeclaration
- client::Client
- client::cvc4::Constant
- client::cvc4::NotCVC4Constant
- error::Infos
- location::Located
- response::Declaration
- response::Definition
- response::Model
- syntax::ast::Attribute
- syntax::ast::Binding
- syntax::ast::ConstructorDeclaration
- syntax::ast::DataTypeDeclaration
- syntax::ast::Ident
- syntax::ast::Keyword
- syntax::ast::MatchCase
- syntax::ast::Pattern
- syntax::ast::SelectorDeclaration
- syntax::ast::Sort
- syntax::ast::SortDeclaration
- syntax::ast::SortedVar
- syntax::ast::Symbol
- syntax::display::Formatter
- syntax::display::PrettyPrint
- syntax::lexer::Lexer
- syntax::response::Declaration
- syntax::response::Definition
- syntax::response::Model
- typing::Expected
- typing::Given
- typing::GroundTypeRef
- typing::TypeChecker
- typing::Typed
Enums
- AbstractGroundSort
- Command
- Pattern
- Term
- TypeCheckError
- client::FunctionSignature
- client::error::Error
- client::error::InternalError
- error::Error
- response::CheckSat
- syntax::ast::AttributeValue
- syntax::ast::Command
- syntax::ast::Index
- syntax::ast::SExpr
- syntax::ast::Term
- syntax::error::Error
- syntax::token::Litteral
- syntax::token::Token
- typing::Error
- typing::SortMissmatch
- typing::TypeRef
Traits
- Compiler
- Environment
- Function
- Server
- SortedWith
- client::Constant
- client::Sort
- error::Informative
- syntax::Parsable
- syntax::display::Display
- typing::Typable
- typing::Untypable
Functions
- compile
- compile_binding
- compile_constructor_declaration
- compile_datatype_declaration
- compile_function
- compile_ident
- compile_selector_declaration
- compile_sort
- compile_sort_declaration
- compile_sort_ref
- compile_sorted_var
- compile_symbol
- compile_term
- response::compile_check_sat
- response::compile_declaration
- response::compile_definition
- response::compile_model
Typedefs
- ExecResult
- error::Result
- syntax::display::Result
- syntax::error::Result
- syntax::response::CheckSat
- typing::Constraint
- typing::Result