List of all items

Structs

• MidSearchContext
• Propagation
• RunOptions
• SolverContext
• TimeLimit
• WorkStealStats
• ast::Model
• ast::Optimise
• ast::SymbolTable

Enums

• PropLevel
• ValOrder
• VarOrder
• ast::Constant
• ast::Constraint
• ast::Var
• ast::VarDomain
• error::MinionError
• error::RuntimeError

Functions

• error::check_minion_result
• print::write_constraints_section
• print::write_minion_file
• print::write_search_section
• print::write_variable_declaration
• print::write_variables_section
• run_minion
• run_minion_midsearch
• run_minion_midsearch_with_options
• run_minion_parallel
• run_minion_parallel_with_options
• run_minion_with_options
• run_minion_work_steal
• run_minion_work_steal_with_options

Type Aliases

• Callback
• MidSearchCallback
• ParallelCallback
• ast::ShortTuple
• ast::Tuple
• ast::TwoVars
• ast::VarName