List of all items

Structs

• Metadata
• Model
• Reduction
• Rule
• RuleSet
• ast::DecisionVariable
• rule_engine::Reduction
• rule_engine::Rule
• rule_engine::RuleSet
• rule_engine::_dependencies::linkme::DistributedSlice
• solver::SolveSuccess
• solver::Solver
• solver::SolverFamilyIter
• solver::adaptors::Kissat
• solver::adaptors::Minion
• solver::model_modifier::NotModifiable
• solver::states::ExecutionFailure
• solver::states::ExecutionSuccess
• solver::states::Init
• solver::states::ModelLoaded

Enums

• ApplicationError
• Error
• SolverFamily
• ast::Domain
• ast::Expression
• ast::Factor
• ast::Literal
• ast::Name
• ast::Range
• ast::ReturnType
• ast::types::ReturnType
• rule_engine::ApplicationError
• rule_engine::RewriteError
• solver::SearchComplete
• solver::SearchIncomplete
• solver::SearchStatus
• solver::SolverError
• solver::SolverFamily
• solver::model_modifier::ModificationFailure
• utils::conjure::EssenceParseError

Traits

• solver::SolverAdaptor
• solver::model_modifier::ModelModifier
• solver::states::SolverState

Macros

• register_rule_set
• rule_engine::register_rule_set

Attribute Macros

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

Functions

• defaults::get_default_rule_sets
• find_conjure::conjure_executable
• get_example_model
• get_example_model_by_path
• get_rule_by_name
• get_rule_set_by_name
• get_rule_sets
• get_rule_sets_for_solver_family
• get_rules
• model_from_json
• rule_engine::get_rule_by_name
• rule_engine::get_rule_priorities
• rule_engine::get_rule_set_by_name
• rule_engine::get_rule_sets
• rule_engine::get_rule_sets_for_solver_family
• rule_engine::get_rules
• rule_engine::get_rules_vec
• rule_engine::resolve_rule_sets
• rule_engine::rewrite_model
• rules::eval_constant
• utils::conjure::get_minion_solutions
• utils::conjure::get_solutions_from_conjure
• utils::conjure::minion_solutions_to_json
• utils::conjure::parse_essence_file
• utils::json::sort_json_object
• utils::json::sort_json_variables
• utils::misc::to_set
• utils::testing::assert_eq_any_order
• utils::testing::minion_solutions_from_json
• utils::testing::read_minion_solutions_json
• utils::testing::read_model_json
• utils::testing::save_minion_solutions_json
• utils::testing::save_model_json
• utils::testing::save_stats_json
• utils::testing::serialise_model

Type Aliases

• ApplicationResult
• ast::SymbolTable
• rule_engine::ApplicationResult
• solver::SolverCallback
• solver::SolverMutCallback