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
• convert_case::Converter
• convert_case::StateConverter
• 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
• rand::Error
• rand::distributions::Alphanumeric
• rand::distributions::Bernoulli
• rand::distributions::DistIter
• rand::distributions::DistMap
• rand::distributions::Open01
• rand::distributions::OpenClosed01
• rand::distributions::Slice
• rand::distributions::Standard
• rand::distributions::Uniform
• rand::distributions::WeightedIndex
• rand::distributions::uniform::Uniform
• rand::distributions::uniform::UniformChar
• rand::distributions::uniform::UniformDuration
• rand::distributions::uniform::UniformFloat
• rand::distributions::uniform::UniformInt
• rand::distributions::weighted::WeightedIndex
• rand::distributions::weighted::alias_method::WeightedIndex
• rand::prelude::SmallRng
• rand::prelude::StdRng
• rand::prelude::ThreadRng
• rand::rngs::OsRng
• rand::rngs::SmallRng
• rand::rngs::StdRng
• rand::rngs::ThreadRng
• rand::rngs::adapter::ReadError
• rand::rngs::adapter::ReadRng
• rand::rngs::adapter::ReseedingRng
• rand::rngs::mock::StepRng
• rand::seq::SliceChooseIter
• 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
• convert_case::Boundary
• convert_case::Case
• convert_case::Pattern
• optimisation::OptimisationDirection
• optimisation::OptimisationStrategy
• options::ConflictResolver
• options::CumulativeExplanationType
• options::CumulativePropagationMethod
• options::SequenceGeneratorType
• predicates::PredicateType
• rand::distributions::BernoulliError
• rand::distributions::WeightedError
• rand::distributions::weighted::WeightedError
• rand::seq::index::IndexVec
• rand::seq::index::IndexVecIntoIter
• rand::seq::index::IndexVecIter
• 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
• convert_case::Casing
• optimisation::OptimisationProcedure
• optimisation::solution_callback::SolutionCallback
• predicates::PredicateConstructor
• proof::InferenceLabel
• rand::CryptoRng
• rand::Fill
• rand::Rng
• rand::RngCore
• rand::SeedableRng
• rand::distributions::DistString
• rand::distributions::Distribution
• rand::distributions::uniform::SampleBorrow
• rand::distributions::uniform::SampleRange
• rand::distributions::uniform::SampleUniform
• rand::distributions::uniform::UniformSampler
• rand::distributions::weighted::alias_method::Weight
• rand::prelude::CryptoRng
• rand::prelude::Distribution
• rand::prelude::IteratorRandom
• rand::prelude::Rng
• rand::prelude::RngCore
• rand::prelude::SeedableRng
• rand::prelude::SliceRandom
• rand::seq::IteratorRandom
• rand::seq::SliceRandom
• results::ProblemSolution
• statistics::Statistic
• termination::TerminationCondition
• variables::IntegerVariable
• variables::TransformableVariable

Macros

• conjunction
• create_statistics_struct
• declare_inference_label
• predicate

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
• rand::prelude::random
• rand::prelude::thread_rng
• rand::random
• rand::seq::index::sample
• rand::seq::index::sample_weighted
• rand::thread_rng
• statistics::configure_statistic_logging
• statistics::log_statistic
• statistics::log_statistic_postfix
• statistics::should_log_statistics

Type Aliases

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