List of all items

Structs

• ast::CnfClause
• ast::DecisionVariable
• ast::ExprInfo
• ast::ExpressionArena
• ast::ExpressionNodeId
• ast::FuncAttr
• ast::MSetAttr
• ast::Metadata
• ast::Model
• ast::Moo
• ast::Objective
• ast::PartitionAttr
• ast::PermutationAttr
• ast::Reference
• ast::RelAttr
• ast::SequenceAttr
• ast::SerdeModel
• ast::SetAttr
• ast::SymbolTable
• ast::SymbolTablePtr
• ast::comprehension::Comprehension
• ast::comprehension::ComprehensionBuilder
• ast::declaration::Declaration
• ast::declaration::DeclarationMutGuard
• ast::declaration::DeclarationPtr
• ast::declaration::Quantified
• ast::records::Field
• ast::serde::AsId
• ast::serde::ObjId
• ast::serde::PtrAsInner
• context::Context
• representation::ReprStore
• representation::id::ReprId
• rule_engine::Rule
• rule_engine::RuleData
• rule_engine::RuleEffect
• rule_engine::RuleSet
• settings::HeuristicChoice
• settings::RewriteConfig
• settings::SolverArgs
• settings::SolverFamilyIter
• solver::SolveSuccess
• solver::Solver
• solver::adaptors::Minion
• solver::adaptors::Sat
• solver::adaptors::Smt
• solver::adaptors::minion::Minion
• solver::adaptors::rustsat::Sat
• solver::adaptors::smt::IntTheoryIter
• solver::adaptors::smt::Smt
• solver::model_modifier::NotModifiable
• solver::states::ExecutionFailure
• solver::states::ExecutionSuccess
• solver::states::Init
• solver::states::ModelLoaded
• stats::RewriterStats
• stats::SolverStats
• stats::Stats
• utils::BiMap
• utils::MatrixShape
• utils::View

Enums

• ast::AbstractLiteral
• ast::Atom
• ast::BinaryAttr
• ast::Domain
• ast::DomainOpError
• ast::Expression
• ast::GroundDomain
• ast::IntVal
• ast::JectivityAttr
• ast::Literal
• ast::Name
• ast::OptimiseDirection
• ast::PartialityAttr
• ast::Range
• ast::ReturnType
• ast::SATIntEncoding
• ast::UnresolvedDomain
• ast::ac_operators::ACOperatorKind
• ast::categories::Category
• ast::comprehension::ComprehensionQualifier
• ast::declaration::DeclarationKind
• error::Error
• representation::errors::ReferenceReprError
• representation::errors::ReprDownError
• representation::errors::ReprError
• representation::errors::ReprInitError
• representation::errors::ReprInstantiateError
• representation::errors::ReprSelectError
• representation::errors::ReprUpError
• rule_engine::ApplicationError
• rule_engine::AtomKind
• rule_engine::RewriteError
• rule_engine::RuleFailureInvalidation
• rule_engine::RulePrefilter
• settings::Channelling
• settings::Heuristic
• settings::Parser
• settings::QuantifiedExpander
• settings::Rewriter
• settings::SolverFamily
• solver::SearchComplete
• solver::SearchIncomplete
• solver::SearchStatus
• solver::SolverError
• solver::adaptors::MinionValueOrder
• solver::adaptors::MinionVariableOrder
• solver::adaptors::minion::MinionValueOrder
• solver::adaptors::minion::MinionVariableOrder
• solver::adaptors::smt::IntTheory
• solver::model_modifier::ModificationFailure
• utils::combinatorics::CombinatoricsError

Traits

• ast::HasDomain
• ast::Typeable
• ast::categories::CategoryOf
• ast::matrix::MatrixValue
• ast::serde::DefaultWithId
• ast::serde::HasId
• bug::UnwrapOrBug
• representation::Representation
• representation::stored::ReprRuleStored
• representation::stored::ReprStateStored
• representation::types::ReprAssignment
• representation::types::ReprDeclLevel
• representation::types::ReprDomainLevel
• representation::types::ReprRule
• solver::SolverAdaptor
• solver::model_modifier::ModelModifier
• solver::states::SolverState

Macros

• bug
• bug_assert
• bug_assert_eq
• discriminant_from_name
• domain_int
• domain_int_ground
• error
• into_matrix
• into_matrix_expr
• matrix
• matrix_expr
• matrix_lit
• range
• representation::register_representation
• rule_engine::register_rule_set
• throw_error

Attribute Macros

• rule_engine::register_rule

Functions

• ast::assertions::debug_assert_all_names_resolved
• ast::assertions::debug_assert_model_well_formed
• ast::assertions::debug_assert_root_at_top_level_only
• ast::discriminant_from_value
• ast::domain_has_int_from_values
• ast::eval::bin_op
• ast::eval::eval_constant
• ast::eval::eval_constant_local
• ast::eval::finish_root_evaluator_normalisation
• ast::eval::flat_op
• ast::eval::generator_values_from_expr
• ast::eval::normalise_evaluator_local
• ast::eval::normalise_root_constraint_deep
• ast::eval::normalise_root_constraints_deep
• ast::eval::normalise_root_constraints_local
• ast::eval::normalise_root_selective_deep_expr
• 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::bound_index_domains_of_expr
• 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::flatten_owned
• ast::matrix::index_domains
• ast::matrix::num_elements
• ast::matrix::partial_flatten
• ast::matrix::resolved_index_domains
• ast::matrix::safe_index_optimised
• ast::matrix::shape_of
• ast::matrix::shape_of_dom
• ast::matrix::shape_of_matrix_expr
• ast::matrix::try_enumerate_indices
• ast::matrix::unflatten_list
• ast::matrix::unflatten_matrix
• ast::pretty::format_domain_with_representation
• ast::pretty::pretty_clauses
• ast::pretty::pretty_domain_letting_declaration
• ast::pretty::pretty_expression_domain_annotation
• ast::pretty::pretty_expression_type_annotation
• ast::pretty::pretty_expressions_as_conjunction
• ast::pretty::pretty_expressions_as_top_level
• ast::pretty::pretty_find_with_representation
• ast::pretty::pretty_value_letting_declaration
• ast::pretty::pretty_variable_declaration
• ast::pretty::pretty_vec
• ast::print_hash_stats
• ast::run_partial_evaluator
• ast::run_partial_evaluator_local
• ast::try_lower_bool_atom_eq_true
• domain_tightening::tighten_domains_from_constraints
• instantiate::instantiate_model
• instantiate::validate_instantiation_conditions
• objective::introduce_objective_auxiliary
• parse::get_example_model
• parse::get_example_model_by_path
• parse::model_from_json
• representation::default_impls::domain_size
• representation::default_impls::instantiate_default_impl
• representation::default_impls::lookup_via_default_impl
• representation::default_impls::to_domain_level_default_impl
• representation::registry::get_applicable_repr_by_short_name
• representation::registry::get_repr_by_name
• representation::registry::get_repr_rules
• representation::util::try_up
• representation::util::try_up_via
• 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_model_with_configured_rewriter
• settings::begin_heuristic_all_choices
• settings::channelling
• settings::clear_heuristic_responses
• settings::comprehension_expander
• settings::configured_rule_trace_enabled
• settings::current_parser
• settings::current_rewriter
• settings::current_solver_family
• settings::default_rule_trace_enabled
• settings::heuristic
• settings::heuristic_all_choices
• settings::ints_need_representation
• settings::minion_discrete_threshold
• settings::next_heuristic_all_index
• settings::next_heuristic_interactive_index
• settings::next_heuristic_random_index
• settings::rule_attempt_trace_enabled
• settings::rule_trace_aggregates_enabled
• settings::rule_trace_enabled
• settings::set_channelling
• settings::set_comprehension_expander
• settings::set_current_parser
• settings::set_current_rewriter
• settings::set_current_solver_family
• settings::set_default_rule_trace_enabled
• settings::set_heuristic
• settings::set_heuristic_responses
• settings::set_heuristic_seed
• settings::set_minion_discrete_threshold
• settings::set_rule_attempt_trace_enabled
• settings::set_rule_trace_aggregates_enabled
• settings::set_rule_trace_enabled
• settings::try_current_solver_family
• settings::with_compact_heuristic
• settings::with_solver_family
• utils::combinatorics::count_combinations
• utils::combinatorics::count_permutations
• utils::combinatorics::derangements
• utils::combinatorics::restricted_partition_count
• utils::combinatorics::stirling_second_kind

Type Aliases

• ast::DomainPtr
• error::Result
• representation::registry::ReprRulePtr
• representation::types::LookupFn
• representation::types::ReprGetOrInitResult
• representation::types::ReprInstantiateResult
• representation::types::ReprResult
• rule_engine::ApplicationResult
• rule_engine::RuleFn
• solver::SolverCallback
• solver::SolverMutCallback
• solver::SolverResult

Constants

• ast::OXIDE_INT_MAX
• ast::OXIDE_INT_MIN
• settings::DEFAULT_HEURISTIC_SEED
• settings::DEFAULT_MINION_DISCRETE_THRESHOLD