List of all items

Structs

• Function
• Solver
• branching::SelectionContext
• branching::branchers::alternating_brancher::AlternatingBrancher
• branching::branchers::autonomous_search::AutonomousSearch
• branching::branchers::dynamic_brancher::DynamicBrancher
• branching::branchers::independent_variable_value_brancher::IndependentVariableValueBrancher
• branching::tie_breaking::InOrderTieBreaker
• branching::tie_breaking::RandomTieBreaker
• branching::value_selection::DynamicValueSelector
• branching::value_selection::InDomainInterval
• branching::value_selection::InDomainMax
• branching::value_selection::InDomainMedian
• branching::value_selection::InDomainMiddle
• branching::value_selection::InDomainMin
• branching::value_selection::InDomainRandom
• branching::value_selection::InDomainSplit
• branching::value_selection::InDomainSplitRandom
• branching::value_selection::OutDomainMax
• branching::value_selection::OutDomainMedian
• branching::value_selection::OutDomainMin
• branching::value_selection::OutDomainRandom
• branching::value_selection::RandomSplitter
• branching::value_selection::ReverseInDomainSplit
• branching::variable_selection::AntiFirstFail
• branching::variable_selection::DynamicVariableSelector
• branching::variable_selection::FirstFail
• branching::variable_selection::InputOrder
• branching::variable_selection::Largest
• branching::variable_selection::MaxRegret
• branching::variable_selection::MostConstrained
• branching::variable_selection::Occurrence
• branching::variable_selection::ProportionalDomainSize
• branching::variable_selection::RandomSelector
• branching::variable_selection::Smallest
• constraints::ConstraintPoster
• containers::KeyGenerator
• containers::KeyValueHeap
• containers::KeyedVec
• containers::Slot
• optimisation::linear_sat_unsat::LinearSatUnsat
• optimisation::linear_unsat_sat::LinearUnsatSat
• options::CumulativeOptions
• options::LearningOptions
• options::RestartOptions
• options::SolverOptions
• predicates::Predicate
• predicates::PropositionalConjunction
• proof::ConstraintTag
• proof::InferenceCode
• proof::ProofLog
• results::Satisfiable
• results::Solution
• results::SolutionReference
• results::solution_iterator::SolutionIterator
• results::unsatisfiable::UnsatisfiableUnderAssumptions
• statistics::StatisticLogger
• statistics::StatisticOptions
• termination::Combinator
• termination::Indefinite
• termination::TimeBudget
• variables::AffineView
• variables::DomainId
• variables::Literal

Enums

• ConstraintOperationError
• branching::BrancherEvent
• branching::branchers::alternating_brancher::AlternatingStrategy
• branching::tie_breaking::Direction
• optimisation::OptimisationDirection
• optimisation::OptimisationStrategy
• options::ConflictResolver
• options::CumulativeExplanationType
• options::CumulativePropagationMethod
• options::SequenceGeneratorType
• predicates::PredicateType
• results::OptimisationResult
• results::SatisfactionResult
• results::SatisfactionResultUnderAssumptions
• results::solution_iterator::IteratedSolution

Traits

• Random
• branching::Brancher
• branching::tie_breaking::TieBreaker
• branching::value_selection::ValueSelector
• branching::variable_selection::VariableSelector
• constraints::Constraint
• constraints::NegatableConstraint
• containers::StorageKey
• optimisation::OptimisationProcedure
• optimisation::solution_callback::SolutionCallback
• predicates::PredicateConstructor
• proof::InferenceLabel
• results::ProblemSolution
• statistics::Statistic
• termination::TerminationCondition
• variables::IntegerVariable
• variables::TransformableVariable

Macros

• conjunction
• create_statistics_struct
• declare_inference_label
• predicate
• proof::declare_inference_label

Functions

• constraints::absolute
• constraints::all_different
• constraints::binary_equals
• constraints::binary_greater_than
• constraints::binary_greater_than_or_equals
• constraints::binary_less_than
• constraints::binary_less_than_or_equals
• constraints::binary_not_equals
• constraints::boolean_equals
• constraints::boolean_less_than_or_equals
• constraints::clause
• constraints::conjunction
• constraints::cumulative
• constraints::cumulative_with_options
• constraints::division
• constraints::element
• constraints::equals
• constraints::greater_than
• constraints::greater_than_or_equals
• constraints::less_than
• constraints::less_than_or_equals
• constraints::maximum
• constraints::minimum
• constraints::negative_table
• constraints::not_equals
• constraints::plus
• constraints::table
• constraints::times
• statistics::configure_statistic_logging
• statistics::log_statistic
• statistics::log_statistic_postfix
• statistics::should_log_statistics

Type Aliases

• DefaultBrancher
• containers::HashMap
• containers::HashSet