List of all items

Structs

• Duration
• Function
• Instant
• Solver
• SolverStatistics
• TestSolver
• branching::SelectionContext
• branching::branchers::alternating::AlternatingBrancher
• branching::branchers::alternating::every_x_restarts::EveryXRestarts
• branching::branchers::alternating::every_x_solutions::EveryXSolutions
• branching::branchers::alternating::other_only::OtherOnly
• branching::branchers::alternating::until_solution::UntilSolution
• branching::branchers::autonomous_search::AutonomousSearch
• branching::branchers::dynamic_brancher::DynamicBrancher
• branching::branchers::independent_variable_value_brancher::IndependentVariableValueBrancher
• branching::branchers::warm_start::WarmStart
• 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
• conflict_resolving::ConflictAnalysisContext
• constraints::ConstraintPoster
• containers::KeyGenerator
• containers::KeyValueHeap
• containers::KeyedVec
• containers::Slot
• containers::SparseSet
• optimisation::linear_sat_unsat::LinearSatUnsat
• optimisation::linear_unsat_sat::LinearUnsatSat
• options::ReifiedPropagatorArgs
• options::RestartOptions
• options::SolverOptions
• predicates::Lbd
• predicates::Predicate
• predicates::PredicateIdGenerator
• predicates::PropositionalConjunction
• proof::ConstraintTag
• proof::InferenceCode
• proof::ProofLog
• proof::Unknown
• propagation::CurrentNogood
• propagation::DomainEvents
• propagation::Domains
• propagation::ExplanationContext
• propagation::InferenceCheckers
• propagation::LocalId
• propagation::NotificationContext
• propagation::OpaqueDomainEvent
• propagation::PredicateId
• propagation::PropagationContext
• propagation::PropagatorConstructorContext
• propagation::PropagatorId
• propagation::TrailedInteger
• propagators::ReifiedChecker
• propagators::ReifiedPropagator
• propagators::ReifiedPropagatorArgs
• propagators::hypercube_linear::Hypercube
• propagators::hypercube_linear::HypercubeLinearChecker
• propagators::hypercube_linear::HypercubeLinearConstructor
• propagators::hypercube_linear::HypercubeLinearPropagator
• propagators::hypercube_linear::InconsistentHypercube
• propagators::hypercube_linear::LinearInequality
• propagators::nogoods::LearningOptions
• propagators::nogoods::NogoodChecker
• results::Satisfiable
• results::Solution
• results::SolutionReference
• results::solution_iterator::SolutionIterator
• results::unsatisfiable::UnsatisfiableUnderAssumptions
• state::EmptyDomain
• state::EmptyDomainConflict
• state::PropagatorConflict
• state::PropagatorHandle
• state::State
• statistics::StatisticLogger
• statistics::StatisticOptions
• statistics::moving_averages::CumulativeMovingAverage
• termination::Combinator
• termination::Duration
• termination::Indefinite
• termination::Instant
• termination::TimeBudget
• variables::AffineView
• variables::DomainId
• variables::Literal

Enums

• ConstraintOperationError
• branching::BrancherEvent
• branching::branchers::alternating::BrancherToUse
• branching::tie_breaking::Direction
• optimisation::OptimisationDirection
• optimisation::OptimisationStrategy
• options::ConflictResolverType
• options::SequenceGeneratorType
• predicates::PredicateType
• propagation::DomainEvent
• propagation::EnqueueDecision
• propagation::Priority
• results::OptimisationResult
• results::SatisfactionResult
• results::SatisfactionResultUnderAssumptions
• results::solution_iterator::IteratedSolution
• state::Conflict
• variables::Reason

Traits

• Random
• branching::Brancher
• branching::branchers::alternating::AlternatingStrategy
• branching::tie_breaking::TieBreaker
• branching::value_selection::ValueSelector
• branching::variable_selection::VariableSelector
• conflict_resolving::ConflictResolver
• constraints::Constraint
• constraints::NegatableConstraint
• containers::StorageKey
• optimisation::OptimisationProcedure
• optimisation::solution_callback::SolutionCallback
• predicates::PredicateConstructor
• proof::InferenceLabel
• propagation::Propagator
• propagation::PropagatorConstructor
• propagation::ReadDomains
• results::ProblemSolution
• statistics::Statistic
• statistics::moving_averages::MovingAverage
• termination::TerminationCondition
• variables::IntegerVariable
• variables::TransformableVariable

Macros

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

Functions

• statistics::configure_statistic_logging
• statistics::log_statistic
• statistics::log_statistic_postfix
• statistics::should_log_statistics

Type Aliases

• DefaultBrancher
• containers::HashMap
• containers::HashSet
• results::PropagationStatusCP