List of all items

Structs

• ast::DecisionVariable
• ast::Declaration
• ast::Model
• ast::SerdeModel
• ast::SubModel
• ast::SymbolTable
• ast::serde::RcRefCellAsId
• ast::serde::RcRefCellAsInner
• context::Context
• metadata::Metadata
• rule_engine::Reduction
• rule_engine::Rule
• rule_engine::RuleData
• rule_engine::RuleSet
• solver::SolveSuccess
• solver::Solver
• solver::SolverFamilyIter
• solver::adaptors::Kissat
• solver::adaptors::Minion
• solver::adaptors::kissat::Kissat
• solver::adaptors::minion::Minion
• solver::adaptors::sat_common::CNFModel
• 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::DeclarationKind
• ast::Domain
• ast::Expression
• ast::Literal
• ast::Name
• ast::Range
• ast::ReturnType
• ast::SetAttr
• error::Error
• rule_engine::ApplicationError
• rule_engine::RewriteError
• solver::SearchComplete
• solver::SearchIncomplete
• solver::SearchStatus
• solver::SolverError
• solver::SolverFamily
• solver::adaptors::sat_common::CNFError
• solver::model_modifier::ModificationFailure

Traits

• ast::Typeable
• ast::serde::DefaultWithId
• ast::serde::HasId
• solver::SolverAdaptor
• solver::adaptors::sat_common::HasVariable
• solver::model_modifier::ModelModifier
• solver::states::SolverState

Macros

• bug
• error
• into_matrix
• into_matrix_expr
• matrix
• matrix_expr
• rule_engine::register_rule_set
• throw_error

Attribute Macros

• rule_engine::_dependencies::distributed_slice
• rule_engine::distributed_slice
• rule_engine::register_rule

Functions

• 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
• parse::get_example_model
• parse::get_example_model_by_path
• parse::model_from_json
• 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_model
• rule_engine::rewrite_naive
• rules::eval_constant

Type Aliases

• ast::serde::ObjId
• error::Result
• rule_engine::ApplicationResult
• solver::SolverCallback
• solver::SolverMutCallback