List of all items
Structs
- ast::CnfClause
- ast::DecisionVariable
- ast::FuncAttr
- ast::Metadata
- ast::Model
- ast::Moo
- ast::RecordEntry
- ast::RecordEntryGround
- ast::Reference
- ast::SerdeModel
- ast::SetAttr
- ast::SubModel
- ast::SymbolTable
- ast::comprehension::Comprehension
- ast::comprehension::ComprehensionBuilder
- ast::declaration::DeclarationPtr
- ast::declaration::serde::DeclarationPtrAsId
- ast::declaration::serde::DeclarationPtrFull
- ast::records::RecordValue
- ast::serde::RcRefCellAsId
- ast::serde::RcRefCellAsInner
- context::Context
- rule_engine::Reduction
- rule_engine::Rule
- rule_engine::RuleData
- rule_engine::RuleSet
- solver::SolveSuccess
- solver::Solver
- solver::SolverFamilyIter
- solver::adaptors::Minion
- solver::adaptors::Sat
- solver::adaptors::Smt
- solver::adaptors::minion::Minion
- solver::adaptors::rustsat::Sat
- solver::adaptors::smt::IntTheoryIter
- solver::adaptors::smt::MatrixTheoryIter
- solver::adaptors::smt::Smt
- solver::adaptors::smt::TheoryConfig
- solver::model_modifier::NotModifiable
- solver::states::ExecutionFailure
- solver::states::ExecutionSuccess
- solver::states::Init
- solver::states::ModelLoaded
- stats::RewriterStats
- stats::SolverStats
- stats::Stats
Enums
- ast::AbstractLiteral
- ast::Atom
- ast::Domain
- ast::DomainOpError
- ast::Expression
- ast::GroundDomain
- ast::IntVal
- ast::JectivityAttr
- ast::Literal
- ast::Name
- ast::PartialityAttr
- ast::Range
- ast::ReturnType
- ast::UnresolvedDomain
- ast::ac_operators::ACOperatorKind
- ast::categories::Category
- ast::declaration::DeclarationKind
- error::Error
- rule_engine::ApplicationError
- rule_engine::RewriteError
- solver::SearchComplete
- solver::SearchIncomplete
- solver::SearchStatus
- solver::SolverError
- solver::SolverFamily
- solver::adaptors::smt::IntTheory
- solver::adaptors::smt::MatrixTheory
- solver::model_modifier::ModificationFailure
Traits
- ast::HasDomain
- ast::Typeable
- ast::categories::CategoryOf
- ast::serde::DefaultWithId
- ast::serde::HasId
- representation::Representation
- solver::SolverAdaptor
- solver::model_modifier::ModelModifier
- solver::states::SolverState
Macros
- bug
- domain_int
- domain_int_ground
- error
- into_matrix
- into_matrix_expr
- matrix
- matrix_expr
- range
- register_representation
- rule_engine::register_rule_set
- throw_error
Attribute Macros
- rule_engine::_dependencies::distributed_slice
- rule_engine::distributed_slice
- rule_engine::register_rule
Functions
- ast::eval::bin_op
- ast::eval::eval_constant
- ast::eval::flat_op
- ast::eval::opt_vec_lit_op
- ast::eval::opt_vec_op
- ast::eval::tern_op
- ast::eval::un_op
- ast::eval::unwrap_expr
- ast::eval::vec_lit_op
- ast::eval::vec_op
- ast::matrix::enumerate_index_union_indices
- ast::matrix::enumerate_indices
- ast::matrix::flat_index_to_full_index
- ast::matrix::flatten
- ast::matrix::flatten_enumerate
- ast::matrix::index_domains
- ast::matrix::num_elements
- ast::pretty::pretty_clauses
- ast::pretty::pretty_domain_letting_declaration
- ast::pretty::pretty_expressions_as_conjunction
- ast::pretty::pretty_expressions_as_top_level
- ast::pretty::pretty_value_letting_declaration
- ast::pretty::pretty_variable_declaration
- ast::pretty::pretty_vec
- ast::run_partial_evaluator
- parse::get_example_model
- parse::get_example_model_by_path
- parse::model_from_json
- representation::get_repr_rule
- rule_engine::get_all_rule_sets
- rule_engine::get_all_rules
- rule_engine::get_rule_by_name
- rule_engine::get_rule_set_by_name
- rule_engine::get_rule_sets_for_solver_family
- rule_engine::get_rules
- rule_engine::get_rules_grouped
- rule_engine::resolve_rule_sets
- rule_engine::rewrite_morph
- rule_engine::rewrite_naive
Type Aliases
- ast::DomainPtr
- ast::serde::ObjId
- error::Result
- rule_engine::ApplicationResult
- rule_engine::RuleFn
- solver::SolverCallback
- solver::SolverMutCallback
- solver::SolverResult