List of all items
Structs
- CommandMacroRegistry
- EGraph
- ExecutionState
- Function
- FunctionRow
- NotFoundError
- ResolvedSchema
- SerializeConfig
- SerializeOutput
- SpecializedPrimitive
- TermDag
- TypeInfo
- Value
- ast::CorrespondingVar
- ast::Facts
- ast::GenericActions
- ast::GenericFunctionDecl
- ast::GenericRewrite
- ast::GenericRule
- ast::GenericRunConfig
- ast::IdentSort
- ast::ParseError
- ast::Parser
- ast::ResolvedVar
- ast::RustSpan
- ast::Schema
- ast::SimpleMacro
- ast::Variant
- constraint::AllEqualTypeConstraint
- constraint::Assignment
- constraint::Problem
- constraint::SimpleTypeConstraint
- extract::Extractor
- extract::TreeAdditiveCostModel
- prelude::GenericActions
- prelude::QueryResult
- prelude::RustRuleContext
- prelude::RustSpan
- scheduler::Match
- scheduler::Matches
- scheduler::SchedulerId
- sort::BaseValues
- sort::BigIntSort
- sort::BigRatSort
- sort::BoolSort
- sort::Boxed
- sort::ContainerValues
- sort::EqSort
- sort::ExecutionState
- sort::F64Sort
- sort::FunctionContainer
- sort::FunctionSort
- sort::I64Sort
- sort::MapContainer
- sort::MapSort
- sort::MultiSetContainer
- sort::MultiSetSort
- sort::OrderedFloat
- sort::ResolvedFunction
- sort::SetContainer
- sort::SetSort
- sort::StringSort
- sort::UnitSort
- sort::VecContainer
- sort::VecSort
- util::SymbolGen
Enums
- CommandOutput
- Error
- ResolvedCall
- RunMode
- SerializedNode
- Term
- TypeError
- ast::Change
- ast::FunctionSubtype
- ast::GenericAction
- ast::GenericCommand
- ast::GenericExpr
- ast::GenericFact
- ast::GenericNCommand
- ast::GenericSchedule
- ast::Literal
- ast::PrintFunctionMode
- ast::Sexp
- ast::Span
- ast::Subdatatypes
- constraint::ConstraintError
- constraint::ImpossibleConstraint
- prelude::Span
- sort::ColumnTy
- sort::ResolvedFunctionId
Traits
- BaseValue
- CommandMacro
- ContainerValue
- Primitive
- UserDefinedCommand
- UserDefinedCommandOutput
- ast::Macro
- constraint::Constraint
- constraint::TypeConstraint
- extract::Cost
- extract::CostModel
- prelude::BaseSort
- prelude::ContainerSort
- prelude::LiteralConvertible
- scheduler::Scheduler
- sort::ContainerValue
- sort::Presort
- sort::Rebuilder
- sort::Sort
- util::FreshGen
Macros
- action
- actions
- add_literal_prim
- add_primitive
- add_primitive_with_validator
- ast::call
- ast::lit
- ast::span
- ast::var
- call
- datatype
- expr
- fact
- facts
- lit
- match_term_app
- prelude::action
- prelude::actions
- prelude::datatype
- prelude::expr
- prelude::fact
- prelude::facts
- prelude::sort
- prelude::span
- prelude::vars
- sort
- span
- var
- vars
Functions
- ast::desugar::rule_name
- ast::get_max_underscores
- ast::replace_internal_symbol_with
- ast::sanitize_internal_names
- cli
- constraint::and
- constraint::assign
- constraint::eq
- constraint::implies
- constraint::impossible
- constraint::xor
- file_supports_proofs
- prelude::add_base_sort
- prelude::add_constructor
- prelude::add_container_sort
- prelude::add_function
- prelude::add_relation
- prelude::add_ruleset
- prelude::add_sort
- prelude::exprs::bool
- prelude::exprs::call
- prelude::exprs::float
- prelude::exprs::int
- prelude::exprs::string
- prelude::exprs::unit
- prelude::exprs::var
- prelude::query
- prelude::rule
- prelude::run_ruleset
- prelude::rust_rule
- program_supports_proofs
- sort::literal_sort
Type Aliases
- ArcSort
- Atom
- AtomTerm
- PrimitiveValidator
- TermId
- ast::Action
- ast::Actions
- ast::Command
- ast::Expr
- ast::Fact
- ast::FunctionDecl
- ast::NCommand
- ast::ResolvedCommand
- ast::ResolvedExpr
- ast::ResolvedFact
- ast::Rewrite
- ast::Rule
- ast::RunConfig
- ast::Schedule
- ast::Subsume
- constraint::DelayedConstraintFn
- extract::DefaultCost
- sort::F
- sort::MkSort
- sort::Q
- sort::S
- sort::Z
- util::IndexMap
- util::IndexSet