List of all items

Structs

• Solver
• conflict_resolvers::minimisers::RecursiveMinimiser
• conflict_resolvers::minimisers::SemanticMinimiser
• conflict_resolvers::resolvers::NoLearningResolver
• conflict_resolvers::resolvers::ResolutionResolver
• core::Duration
• core::Function
• core::Instant
• core::Solver
• core::SolverStatistics
• core::TestSolver
• core::branching::SelectionContext
• core::branching::branchers::alternating::AlternatingBrancher
• core::branching::branchers::alternating::every_x_restarts::EveryXRestarts
• core::branching::branchers::alternating::every_x_solutions::EveryXSolutions
• core::branching::branchers::alternating::other_only::OtherOnly
• core::branching::branchers::alternating::until_solution::UntilSolution
• core::branching::branchers::autonomous_search::AutonomousSearch
• core::branching::branchers::dynamic_brancher::DynamicBrancher
• core::branching::branchers::independent_variable_value_brancher::IndependentVariableValueBrancher
• core::branching::branchers::warm_start::WarmStart
• core::branching::tie_breaking::InOrderTieBreaker
• core::branching::tie_breaking::RandomTieBreaker
• core::branching::value_selection::DynamicValueSelector
• core::branching::value_selection::InDomainInterval
• core::branching::value_selection::InDomainMax
• core::branching::value_selection::InDomainMedian
• core::branching::value_selection::InDomainMiddle
• core::branching::value_selection::InDomainMin
• core::branching::value_selection::InDomainRandom
• core::branching::value_selection::InDomainSplit
• core::branching::value_selection::InDomainSplitRandom
• core::branching::value_selection::OutDomainMax
• core::branching::value_selection::OutDomainMedian
• core::branching::value_selection::OutDomainMin
• core::branching::value_selection::OutDomainRandom
• core::branching::value_selection::RandomSplitter
• core::branching::value_selection::ReverseInDomainSplit
• core::branching::variable_selection::AntiFirstFail
• core::branching::variable_selection::DynamicVariableSelector
• core::branching::variable_selection::FirstFail
• core::branching::variable_selection::InputOrder
• core::branching::variable_selection::Largest
• core::branching::variable_selection::MaxRegret
• core::branching::variable_selection::MostConstrained
• core::branching::variable_selection::Occurrence
• core::branching::variable_selection::ProportionalDomainSize
• core::branching::variable_selection::RandomSelector
• core::branching::variable_selection::Smallest
• core::conflict_resolving::ConflictAnalysisContext
• core::constraints::ConstraintPoster
• core::containers::KeyGenerator
• core::containers::KeyValueHeap
• core::containers::KeyedVec
• core::containers::Slot
• core::containers::SparseSet
• core::convert_case::Converter
• core::convert_case::StateConverter
• core::optimisation::linear_sat_unsat::LinearSatUnsat
• core::optimisation::linear_unsat_sat::LinearUnsatSat
• core::options::LearningOptions
• core::options::ReifiedPropagatorArgs
• core::options::RestartOptions
• core::options::SolverOptions
• core::predicates::Lbd
• core::predicates::Predicate
• core::predicates::PredicateIdGenerator
• core::predicates::PropositionalConjunction
• core::proof::ConstraintTag
• core::proof::InferenceCode
• core::proof::ProofLog
• core::proof::Unknown
• core::propagation::CurrentNogood
• core::propagation::DomainEvents
• core::propagation::Domains
• core::propagation::ExplanationContext
• core::propagation::InferenceCheckers
• core::propagation::LazyExplanation
• core::propagation::LocalId
• core::propagation::NotificationContext
• core::propagation::OpaqueDomainEvent
• core::propagation::PredicateId
• core::propagation::PropagationContext
• core::propagation::PropagatorConstructorContext
• core::propagation::PropagatorId
• core::propagation::TrailedInteger
• core::propagators::ReifiedChecker
• core::propagators::ReifiedPropagator
• core::propagators::ReifiedPropagatorArgs
• core::propagators::hypercube_linear::Hypercube
• core::propagators::hypercube_linear::HypercubeLinearChecker
• core::propagators::hypercube_linear::HypercubeLinearConstructor
• core::propagators::hypercube_linear::HypercubeLinearPropagator
• core::propagators::hypercube_linear::InconsistentHypercube
• core::propagators::hypercube_linear::LinearInequality
• core::propagators::nogoods::LearningOptions
• core::propagators::nogoods::NogoodChecker
• core::rand::RngReader
• core::rand::distr::Alphabetic
• core::rand::distr::Alphanumeric
• core::rand::distr::Bernoulli
• core::rand::distr::Iter
• core::rand::distr::Map
• core::rand::distr::Open01
• core::rand::distr::OpenClosed01
• core::rand::distr::StandardUniform
• core::rand::distr::Uniform
• core::rand::distr::slice::Choose
• core::rand::distr::slice::Empty
• core::rand::distr::uniform::Uniform
• core::rand::distr::uniform::UniformChar
• core::rand::distr::uniform::UniformDuration
• core::rand::distr::uniform::UniformFloat
• core::rand::distr::uniform::UniformInt
• core::rand::distr::uniform::UniformUsize
• core::rand::distr::weighted::WeightedIndex
• core::rand::prelude::SmallRng
• core::rand::prelude::StdRng
• core::rand::prelude::ThreadRng
• core::rand::rand_core::UnwrapErr
• core::rand::rand_core::block::BlockRng
• core::rand::rngs::SmallRng
• core::rand::rngs::StdRng
• core::rand::rngs::SysError
• core::rand::rngs::SysRng
• core::rand::rngs::ThreadRng
• core::rand::rngs::Xoshiro128PlusPlus
• core::rand::rngs::Xoshiro256PlusPlus
• core::rand::seq::IndexedSamples
• core::results::Satisfiable
• core::results::Solution
• core::results::SolutionReference
• core::results::solution_iterator::SolutionIterator
• core::results::unsatisfiable::UnsatisfiableUnderAssumptions
• core::state::CurrentNogood
• core::state::EmptyDomain
• core::state::EmptyDomainConflict
• core::state::PredicateHeap
• core::state::PropagatorConflict
• core::state::PropagatorHandle
• core::state::PropagatorId
• core::state::State
• core::statistics::StatisticLogger
• core::statistics::StatisticOptions
• core::statistics::moving_averages::CumulativeMovingAverage
• core::termination::Combinator
• core::termination::Duration
• core::termination::Indefinite
• core::termination::Instant
• core::termination::TimeBudget
• core::variables::AffineView
• core::variables::DomainId
• core::variables::Literal
• propagators::arithmetic::AbsoluteValueArgs
• propagators::arithmetic::AbsoluteValueChecker
• propagators::arithmetic::AbsoluteValuePropagator
• propagators::arithmetic::BinaryEqualsChecker
• propagators::arithmetic::BinaryEqualsPropagator
• propagators::arithmetic::BinaryEqualsPropagatorArgs
• propagators::arithmetic::BinaryNotEqualsChecker
• propagators::arithmetic::BinaryNotEqualsPropagator
• propagators::arithmetic::BinaryNotEqualsPropagatorArgs
• propagators::arithmetic::DivisionArgs
• propagators::arithmetic::DivisionPropagator
• propagators::arithmetic::IntegerDivisionChecker
• propagators::arithmetic::IntegerMultiplicationArgs
• propagators::arithmetic::IntegerMultiplicationChecker
• propagators::arithmetic::IntegerMultiplicationPropagator
• propagators::arithmetic::LinearLessOrEqualInferenceChecker
• propagators::arithmetic::LinearLessOrEqualPropagator
• propagators::arithmetic::LinearLessOrEqualPropagatorArgs
• propagators::arithmetic::LinearNotEqualChecker
• propagators::arithmetic::LinearNotEqualPropagator
• propagators::arithmetic::LinearNotEqualPropagatorArgs
• propagators::arithmetic::MaximumArgs
• propagators::arithmetic::MaximumChecker
• propagators::arithmetic::MaximumPropagator
• propagators::cumulative::ArgTask
• propagators::cumulative::options::CumulativeOptions
• propagators::cumulative::options::CumulativePropagatorOptions
• propagators::cumulative::time_table::CheckerTask
• propagators::cumulative::time_table::TimeTableChecker
• propagators::cumulative::time_table::TimeTableOverIntervalIncrementalPropagator
• propagators::cumulative::time_table::TimeTableOverIntervalPropagator
• propagators::cumulative::time_table::TimeTablePerPointIncrementalPropagator
• propagators::cumulative::time_table::TimeTablePerPointPropagator
• propagators::disjunctive::ArgDisjunctiveTask
• propagators::disjunctive::DisjunctiveConstructor
• propagators::disjunctive::DisjunctiveEdgeFindingChecker
• propagators::disjunctive::DisjunctivePropagator
• propagators::element::ElementArgs
• propagators::element::ElementChecker
• propagators::element::ElementPropagator

Enums

• conflict_resolvers::minimisers::SemanticMinimisationMode
• conflict_resolvers::resolvers::AnalysisMode
• core::ConstraintOperationError
• core::branching::BrancherEvent
• core::branching::branchers::alternating::BrancherToUse
• core::branching::tie_breaking::Direction
• core::convert_case::Boundary
• core::convert_case::Case
• core::convert_case::Pattern
• core::optimisation::OptimisationDirection
• core::optimisation::OptimisationStrategy
• core::options::ConflictResolverType
• core::options::SequenceGeneratorType
• core::predicates::PredicateType
• core::propagation::DomainEvent
• core::propagation::EnqueueDecision
• core::propagation::Priority
• core::rand::distr::BernoulliError
• core::rand::distr::uniform::Error
• core::rand::distr::weighted::Error
• core::rand::rand_core::Infallible
• core::rand::seq::WeightError
• core::rand::seq::index::IndexVec
• core::rand::seq::index::IndexVecIntoIter
• core::rand::seq::index::IndexVecIter
• core::results::OptimisationResult
• core::results::SatisfactionResult
• core::results::SatisfactionResultUnderAssumptions
• core::results::solution_iterator::IteratedSolution
• core::state::Conflict
• core::variables::Reason
• propagators::cumulative::options::CumulativePropagationMethod
• propagators::cumulative::time_table::CumulativeExplanationType

Traits

• conflict_resolvers::minimisers::NogoodMinimiser
• core::Random
• core::branching::Brancher
• core::branching::branchers::alternating::AlternatingStrategy
• core::branching::tie_breaking::TieBreaker
• core::branching::value_selection::ValueSelector
• core::branching::variable_selection::VariableSelector
• core::conflict_resolving::ConflictResolver
• core::constraints::Constraint
• core::constraints::NegatableConstraint
• core::containers::StorageKey
• core::convert_case::Casing
• core::optimisation::OptimisationProcedure
• core::optimisation::solution_callback::SolutionCallback
• core::predicates::PredicateConstructor
• core::proof::InferenceLabel
• core::propagation::Propagator
• core::propagation::PropagatorConstructor
• core::propagation::ReadDomains
• core::rand::CryptoRng
• core::rand::Fill
• core::rand::Rng
• core::rand::RngExt
• core::rand::SeedableRng
• core::rand::TryCryptoRng
• core::rand::TryRng
• core::rand::distr::Distribution
• core::rand::distr::SampleString
• core::rand::distr::uniform::SampleBorrow
• core::rand::distr::uniform::SampleRange
• core::rand::distr::uniform::SampleUniform
• core::rand::distr::uniform::UniformSampler
• core::rand::distr::weighted::Weight
• core::rand::prelude::CryptoRng
• core::rand::prelude::Distribution
• core::rand::prelude::IndexedMutRandom
• core::rand::prelude::IndexedRandom
• core::rand::prelude::IteratorRandom
• core::rand::prelude::Rng
• core::rand::prelude::RngExt
• core::rand::prelude::SeedableRng
• core::rand::prelude::SliceRandom
• core::rand::rand_core::CryptoRng
• core::rand::rand_core::Rng
• core::rand::rand_core::RngCore
• core::rand::rand_core::SeedableRng
• core::rand::rand_core::TryCryptoRng
• core::rand::rand_core::TryRng
• core::rand::rand_core::TryRngCore
• core::rand::rand_core::block::Generator
• core::rand::rand_core::utils::Word
• core::rand::seq::IndexedMutRandom
• core::rand::seq::IndexedRandom
• core::rand::seq::IteratorRandom
• core::rand::seq::SliceRandom
• core::results::ProblemSolution
• core::statistics::Statistic
• core::statistics::moving_averages::MovingAverage
• core::termination::TerminationCondition
• core::variables::IntegerVariable
• core::variables::TransformableVariable

Macros

• core::conjunction
• core::convert_case::case
• core::convert_case::ccase
• core::convert_case::separator
• core::create_statistics_struct
• core::declare_inference_label
• core::predicate

Functions

• absolute
• all_different
• binary_equals
• binary_greater_than
• binary_greater_than_or_equals
• binary_less_than
• binary_less_than_or_equals
• binary_not_equals
• boolean_equals
• boolean_less_than_or_equals
• clause
• conjunction
• core::convert_case::split
• core::rand::fill
• core::rand::make_rng
• core::rand::rand_core::utils::fill_bytes_via_next_word
• core::rand::rand_core::utils::next_u64_via_u32
• core::rand::rand_core::utils::next_word_via_fill
• core::rand::rand_core::utils::read_words
• core::rand::random
• core::rand::random_bool
• core::rand::random_iter
• core::rand::random_range
• core::rand::random_ratio
• core::rand::rng
• core::rand::seq::index::sample
• core::rand::seq::index::sample_array
• core::rand::seq::index::sample_weighted
• core::state::propagator_conflict
• core::statistics::configure_statistic_logging
• core::statistics::log_statistic
• core::statistics::log_statistic_postfix
• core::statistics::should_log_statistics
• cumulative
• cumulative_with_options
• disjunctive_strict
• division
• element
• equals
• greater_than
• greater_than_or_equals
• less_than
• less_than_or_equals
• maximum
• minimum
• negative_table
• not_equals
• plus
• table
• times

Type Aliases

• core::DefaultBrancher
• core::containers::HashMap
• core::containers::HashSet
• core::rand::seq::SliceChooseIter
• core::state::PropagationStatusCP

Constants

• LATEST_COMMIT
• VERSION