List of all items

Structs

• Expr
• ParseError
• export::ExampleDb
• export::ModelDb
• export::ModelExample
• export::ProblemRef
• export::ProblemSide
• export::RuleDb
• export::RuleExample
• export::SolutionPair
• expr::BigInt
• expr::Expr
• expr::ExprNodeId
• expr::ParseError
• expr::SubstitutionError
• expr::Symbol
• growth::Growth
• models::algebraic::AlgebraicEquationsOverGF2
• models::algebraic::BMF
• models::algebraic::ClosestVectorProblem
• models::algebraic::ConsecutiveBlockMinimization
• models::algebraic::ConsecutiveOnesMatrixAugmentation
• models::algebraic::ConsecutiveOnesSubmatrix
• models::algebraic::EquilibriumPoint
• models::algebraic::FeasibleBasisExtension
• models::algebraic::ILP
• models::algebraic::IntegerVariable
• models::algebraic::LinearConstraint
• models::algebraic::MinimumMatrixCover
• models::algebraic::MinimumMatrixDomination
• models::algebraic::MinimumWeightDecoding
• models::algebraic::MinimumWeightSolutionToLinearEquations
• models::algebraic::QUBO
• models::algebraic::QuadraticAssignment
• models::algebraic::QuadraticCongruences
• models::algebraic::QuadraticDiophantineEquations
• models::algebraic::SimultaneousIncongruences
• models::algebraic::SparseMatrixCompression
• models::decision::Decision
• models::decision::DecisionToOptimizationResult
• models::decision::DecisionToOptimizationWitnessResult
• models::formula::Assignment
• models::formula::BooleanExpr
• models::formula::CNFClause
• models::formula::Circuit
• models::formula::CircuitSAT
• models::formula::KSatisfiability
• models::formula::Maximum2Satisfiability
• models::formula::NAESatisfiability
• models::formula::NonTautology
• models::formula::OneInThreeSatisfiability
• models::formula::Planar3Satisfiability
• models::formula::QuantifiedBooleanFormulas
• models::formula::Satisfiability
• models::graph::AcyclicPartition
• models::graph::BalancedCompleteBipartiteSubgraph
• models::graph::BicliqueCover
• models::graph::BiconnectivityAugmentation
• models::graph::BottleneckTravelingSalesman
• models::graph::BoundedComponentSpanningForest
• models::graph::BoundedDiameterSpanningTree
• models::graph::DegreeConstrainedSpanningTree
• models::graph::DirectedHamiltonianPath
• models::graph::DirectedTwoCommodityIntegralFlow
• models::graph::DisjointConnectingPaths
• models::graph::EulerianPath
• models::graph::GeneralizedHex
• models::graph::GraphPartitioning
• models::graph::HamiltonianCircuit
• models::graph::HamiltonianPath
• models::graph::HamiltonianPathBetweenTwoVertices
• models::graph::HighlyConnectedDeletion
• models::graph::IntegralFlowBundles
• models::graph::IntegralFlowHomologousArcs
• models::graph::IntegralFlowWithMultipliers
• models::graph::IsomorphicSpanningTree
• models::graph::KClique
• models::graph::KColoring
• models::graph::Kernel
• models::graph::KthBestSpanningTree
• models::graph::LabelledArc
• models::graph::LabelledDigraph
• models::graph::LengthBoundedDisjointPaths
• models::graph::LongestCircuit
• models::graph::LongestPath
• models::graph::MaxCut
• models::graph::MaximalIS
• models::graph::MaximumAchromaticNumber
• models::graph::MaximumClique
• models::graph::MaximumCoKPlex
• models::graph::MaximumCommonEdgeSubgraph
• models::graph::MaximumContactMapOverlap
• models::graph::MaximumDomaticNumber
• models::graph::MaximumEdgeWeightedKClique
• models::graph::MaximumIndependentSet
• models::graph::MaximumLeafSpanningTree
• models::graph::MaximumMatching
• models::graph::MinMaxMulticenter
• models::graph::MinimumCapacitatedSpanningTree
• models::graph::MinimumCostCirculation
• models::graph::MinimumCostMaximumFlow
• models::graph::MinimumCoveringByCliques
• models::graph::MinimumCutIntoBoundedSets
• models::graph::MinimumDominatingSet
• models::graph::MinimumDummyActivitiesPert
• models::graph::MinimumEdgeCostFlow
• models::graph::MinimumFeedbackArcSet
• models::graph::MinimumFeedbackVertexSet
• models::graph::MinimumGeometricConnectedDominatingSet
• models::graph::MinimumGraphBandwidth
• models::graph::MinimumIntersectionGraphBasis
• models::graph::MinimumMaximalMatching
• models::graph::MinimumMetricDimension
• models::graph::MinimumMultiwayCut
• models::graph::MinimumSumMulticenter
• models::graph::MinimumVertexCover
• models::graph::MixedChinesePostman
• models::graph::MonochromaticTriangle
• models::graph::MultipleChoiceBranching
• models::graph::MultipleCopyFileAllocation
• models::graph::OptimalLinearArrangement
• models::graph::PartialFeedbackEdgeSet
• models::graph::PartitionIntoCliques
• models::graph::PartitionIntoForests
• models::graph::PartitionIntoPathsOfLength2
• models::graph::PartitionIntoPerfectMatchings
• models::graph::PartitionIntoTriangles
• models::graph::PathConstrainedNetworkFlow
• models::graph::PrizeCollectingSteinerForest
• models::graph::RootedTreeArrangement
• models::graph::RuralPostman
• models::graph::ShortestWeightConstrainedPath
• models::graph::SpinGlass
• models::graph::SteinerTree
• models::graph::SteinerTreeInGraphs
• models::graph::StrongConnectivityAugmentation
• models::graph::SubgraphIsomorphism
• models::graph::TravelingSalesman
• models::graph::UndirectedFlowLowerBounds
• models::graph::UndirectedTwoCommodityIntegralFlow
• models::misc::AdditionalKey
• models::misc::Betweenness
• models::misc::BinPacking
• models::misc::BoyceCoddNormalFormViolation
• models::misc::CapacityAssignment
• models::misc::CbqRelation
• models::misc::ClosestString
• models::misc::ClosestSubstring
• models::misc::Clustering
• models::misc::ConjunctiveBooleanQuery
• models::misc::ConjunctiveQueryFoldability
• models::misc::ConsistencyOfDatabaseFrequencyTables
• models::misc::CosineProductIntegration
• models::misc::CyclicOrdering
• models::misc::DynamicStorageAllocation
• models::misc::EnsembleComputation
• models::misc::ExpectedRetrievalCost
• models::misc::Factoring
• models::misc::FeasibleRegisterAssignment
• models::misc::FlowShopScheduling
• models::misc::FrequencyTable
• models::misc::GroupingBySwapping
• models::misc::IntegerExpressionMembership
• models::misc::JobShopScheduling
• models::misc::Knapsack
• models::misc::KnownValue
• models::misc::KthLargestMTuple
• models::misc::LongestCommonSubsequence
• models::misc::MaximumLikelihoodRanking
• models::misc::MinimumAxiomSet
• models::misc::MinimumCodeGenerationOneRegister
• models::misc::MinimumCodeGenerationParallelAssignments
• models::misc::MinimumCodeGenerationUnlimitedRegisters
• models::misc::MinimumDecisionTree
• models::misc::MinimumDiscretePlanarInverseKinematics
• models::misc::MinimumDisjunctiveNormalForm
• models::misc::MinimumExternalMacroDataCompression
• models::misc::MinimumFaultDetectionTestSet
• models::misc::MinimumInternalMacroDataCompression
• models::misc::MinimumRegisterSufficiencyForLoops
• models::misc::MinimumTardinessSequencing
• models::misc::MinimumWeightAndOrGraph
• models::misc::MultiprocessorScheduling
• models::misc::NonLivenessFreePetriNet
• models::misc::Numerical3DimensionalMatching
• models::misc::NumericalMatchingWithTargetSums
• models::misc::OpenShopScheduling
• models::misc::OptimumCommunicationSpanningTree
• models::misc::PaintShop
• models::misc::PartiallyOrderedKnapsack
• models::misc::Partition
• models::misc::PrecedenceConstrainedScheduling
• models::misc::PreemptiveScheduling
• models::misc::ProductionPlanning
• models::misc::RectilinearPictureCompression
• models::misc::RegisterSufficiency
• models::misc::ResourceConstrainedScheduling
• models::misc::SchedulingToMinimizeWeightedCompletionTime
• models::misc::SchedulingWithIndividualDeadlines
• models::misc::SequencingToMinimizeMaximumCumulativeCost
• models::misc::SequencingToMinimizeTardyTaskWeight
• models::misc::SequencingToMinimizeWeightedCompletionTime
• models::misc::SequencingToMinimizeWeightedTardiness
• models::misc::SequencingWithDeadlinesAndSetUpTimes
• models::misc::SequencingWithReleaseTimesAndDeadlines
• models::misc::SequencingWithinIntervals
• models::misc::ShortestCommonSupersequence
• models::misc::ShortestCommonSuperstring
• models::misc::SquareTiling
• models::misc::StackerCrane
• models::misc::StaffScheduling
• models::misc::StringToStringCorrection
• models::misc::SubsetProduct
• models::misc::SubsetSum
• models::misc::SumOfSquaresPartition
• models::misc::ThreePartition
• models::misc::TimetableDesign
• models::set::ComparativeContainment
• models::set::ConsecutiveSets
• models::set::ExactCoverBy3Sets
• models::set::IntegerKnapsack
• models::set::MaximumSetPacking
• models::set::MinimumCardinalityKey
• models::set::MinimumHittingSet
• models::set::MinimumSetCovering
• models::set::PrimeAttributeName
• models::set::RootedTreeStorageAssignment
• models::set::SetBasis
• models::set::SetSplitting
• models::set::ThreeDimensionalMatching
• models::set::TwoDimensionalConsecutiveSets
• parameters::ParameterTransform
• random::CliqueRandomSpec
• random::ColoringRandomSpec
• random::EndpointRandomSpec
• random::IntegerGeometryRandomSpec
• random::SimpleGraphRandomSpec
• random::UnitDiskRandomSpec
• registry::FieldInfo
• registry::FieldInfoJson
• registry::LoadedDynProblem
• registry::ParseProblemCategoryError
• registry::ProblemInfo
• registry::ProblemSchemaEntry
• registry::ProblemSchemaJson
• registry::VariantDimension
• registry::problem_ref::ProblemRef
• registry::problem_type::ProblemType
• registry::variant::CreateInputInfo
• registry::variant::RandomRegistration
• registry::variant::VariantEntry
• rules::AggregateReductionChain
• rules::ExecutedPath
• rules::NeighborInfo
• rules::NeighborTree
• rules::ReductionChain
• rules::ReductionEdgeInfo
• rules::ReductionGraph
• rules::ReductionPath
• rules::ReductionStep
• rules::VariantReductionResult
• rules::analysis::ConnectivityReport
• rules::analysis::IsolatedProblem
• rules::analysis::ReachabilityReport
• rules::analysis::UnreachableProblem
• rules::registry::EdgeCapabilities
• rules::registry::ReductionEntry
• rules::registry::ReductionParameterContract
• rules::registry::ReductionParameterDeclarations
• rules::registry::UnavailableParameterField
• rules::unitdiskmapping::ksg::gadgets::KsgBranch
• rules::unitdiskmapping::ksg::gadgets::KsgBranchFix
• rules::unitdiskmapping::ksg::gadgets::KsgBranchFixB
• rules::unitdiskmapping::ksg::gadgets::KsgCross
• rules::unitdiskmapping::ksg::gadgets::KsgDanglingLeg
• rules::unitdiskmapping::ksg::gadgets::KsgEndTurn
• rules::unitdiskmapping::ksg::gadgets::KsgReflectedGadget
• rules::unitdiskmapping::ksg::gadgets::KsgRotatedGadget
• rules::unitdiskmapping::ksg::gadgets::KsgTCon
• rules::unitdiskmapping::ksg::gadgets::KsgTapeEntry
• rules::unitdiskmapping::ksg::gadgets::KsgTrivialTurn
• rules::unitdiskmapping::ksg::gadgets::KsgTurn
• rules::unitdiskmapping::ksg::gadgets::KsgWTurn
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgBranch
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgBranchFix
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgBranchFixB
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgCross
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgDanglingLeg
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgEndTurn
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgTCon
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgTapeEntry
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgTrivialTurn
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgTurn
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgWTurn
• rules::unitdiskmapping::ksg::mapping::MappingResult
• rules::unitdiskmapping::triangular::gadgets::WeightedTriBranch
• rules::unitdiskmapping::triangular::gadgets::WeightedTriBranchFix
• rules::unitdiskmapping::triangular::gadgets::WeightedTriBranchFixB
• rules::unitdiskmapping::triangular::gadgets::WeightedTriCross
• rules::unitdiskmapping::triangular::gadgets::WeightedTriEndTurn
• rules::unitdiskmapping::triangular::gadgets::WeightedTriTConDown
• rules::unitdiskmapping::triangular::gadgets::WeightedTriTConLeft
• rules::unitdiskmapping::triangular::gadgets::WeightedTriTConUp
• rules::unitdiskmapping::triangular::gadgets::WeightedTriTapeEntry
• rules::unitdiskmapping::triangular::gadgets::WeightedTriTrivialTurnLeft
• rules::unitdiskmapping::triangular::gadgets::WeightedTriTrivialTurnRight
• rules::unitdiskmapping::triangular::gadgets::WeightedTriTurn
• rules::unitdiskmapping::triangular::gadgets::WeightedTriWTurn
• solvers::BruteForce
• solvers::CustomizedSolverCapability
• solvers::ExactProblemKey
• solvers::IlpSolverCapability
• solvers::SolveResult
• solvers::SolverCapabilities
• solvers::ilp::ILPSolver
• topology::BipartiteGraph
• topology::DirectedGraph
• topology::KingsSubgraph
• topology::MixedGraph
• topology::PlanarGraph
• topology::SimpleGraph
• topology::TriangularSubgraph
• topology::UnitDiskGraph
• types::And
• types::ExactI64ToF64Error
• types::Extremum
• types::Max
• types::Min
• types::One
• types::Or
• types::ProblemParameters
• types::Sum
• variant::K1
• variant::K2
• variant::K3
• variant::K4
• variant::K5
• variant::KN
• variant::VariantSpec

Enums

• error::ProblemError
• expr::ApproximationError
• expr::AsymptoticAnalysisError
• expr::ExprNode
• growth::GrowthFailure
• io::FileFormat
• models::algebraic::Comparison
• models::algebraic::ObjectiveSense
• models::formula::BooleanOp
• models::formula::Quantifier
• models::misc::IntExpr
• models::misc::QueryArg
• models::misc::Term
• parameters::ParameterRelation
• parameters::ParameterTransformError
• registry::ComplexityClass
• registry::ProblemCategory
• registry::variant::ConstructionError
• registry::variant::CreateInputCodec
• rules::ExecutePathsError
• rules::ExtractionError
• rules::PathParameterError
• rules::ReductionError
• rules::ReductionMode
• rules::TraversalFlow
• rules::analysis::UnreachableReason
• rules::registry::ParameterContractError
• rules::unitdiskmapping::ksg::gadgets::KsgPattern
• rules::unitdiskmapping::ksg::gadgets::Mirror
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgPattern
• rules::unitdiskmapping::ksg::mapping::GridKind
• rules::unitdiskmapping::triangular::gadgets::SourceCell
• solvers::RegistryBuildError
• solvers::SolveError
• solvers::SolveOutcome
• solvers::SolverExecution
• solvers::SolverRequest
• solvers::ilp::ILPSolveError
• traits::EvaluationError
• types::AggregationError
• types::ExtremumSense
• types::NumericArithmeticError

Traits

• models::algebraic::ClosestVectorTarget
• models::algebraic::ILPCoefficient
• models::algebraic::VariableDomain
• models::decision::DecisionProblemMeta
• registry::DynProblem
• registry::ProblemMetadata
• registry::variant::CreateSpec
• registry::variant::RandomGenerate
• rules::AggregateReductionResult
• rules::ReduceTo
• rules::ReduceToAggregate
• rules::ReductionResult
• rules::unitdiskmapping::ksg::gadgets::KsgPatternBoxed
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgPatternBoxed
• rules::unitdiskmapping::triangular::gadgets::WeightedTriangularGadget
• solvers::BruteForceProblem
• topology::Graph
• traits::DeclaredVariant
• traits::Problem
• types::Aggregate
• types::NumericSize
• types::OptimizationValue
• types::SolutionAggregate
• types::WeightElement
• variant::KValue
• variant::VariantParam

Macros

• decision_problem_meta
• declare_variants
• impl_random_generate
• impl_variant_param
• impl_variant_reduction
• problem_parameters
• register_brute_force
• register_decision_variant
• variant_params

Attribute Macros

• reduction

Derive Macros

• CreateSpec

Functions

• big_o_normal_form
• config::config_to_index
• config::index_to_config
• export::lookup_parameter_contract
• export::variant_to_map
• export::write_example_db_to
• export::write_model_db_to
• export::write_model_example_to
• export::write_rule_db_to
• export::write_rule_example_to
• expr::evaluate_approximate
• io::from_json
• io::read_file
• io::read_problem
• io::to_json
• io::to_json_compact
• io::write_file
• io::write_problem
• registry::collect_schemas
• registry::construct_dyn
• registry::format_metric
• registry::load_dyn
• registry::problem_ref::parse_catalog_problem_ref
• registry::problem_ref::require_graph_variant
• registry::problem_type::find_problem_type
• registry::problem_type::find_problem_type_by_alias
• registry::problem_type::problem_types
• registry::serialize_any
• registry::variant::find_variant_by_alias
• registry::variant::find_variant_entry
• registry::variant::validate_aliases_inner
• registry::variant::validate_create_inputs
• registry::variant::validate_direct_create_inputs
• registry::variant::validate_variant_aliases
• registry::variant::validate_variant_parameter_schemas
• registry::variant::variant_entries
• registry::variant::variant_label
• rules::analysis::check_connectivity
• rules::analysis::check_reachability_from_3sat
• rules::registry::reduction_entries
• rules::registry::validate_reduction_parameter_schemas
• rules::unitdiskmapping::ksg::gadgets::apply_crossing_gadgets
• rules::unitdiskmapping::ksg::gadgets::apply_simplifier_gadgets
• rules::unitdiskmapping::ksg::gadgets::apply_weighted_crossing_gadgets
• rules::unitdiskmapping::ksg::gadgets::apply_weighted_gadget
• rules::unitdiskmapping::ksg::gadgets::apply_weighted_simplifier_gadgets
• rules::unitdiskmapping::ksg::gadgets::crossing_ruleset_indices
• rules::unitdiskmapping::ksg::gadgets::tape_entry_mis_overhead
• rules::unitdiskmapping::ksg::gadgets_weighted::apply_weighted_crossing_gadgets
• rules::unitdiskmapping::ksg::gadgets_weighted::apply_weighted_gadget
• rules::unitdiskmapping::ksg::gadgets_weighted::apply_weighted_simplifier_gadgets
• rules::unitdiskmapping::ksg::gadgets_weighted::weighted_tape_entry_mis_overhead
• rules::unitdiskmapping::ksg::mapping::map_unweighted
• rules::unitdiskmapping::ksg::mapping::map_unweighted_with_method
• rules::unitdiskmapping::ksg::mapping::map_unweighted_with_order
• rules::unitdiskmapping::ksg::mapping::map_weighted
• rules::unitdiskmapping::ksg::mapping::map_weighted_with_method
• rules::unitdiskmapping::ksg::mapping::map_weighted_with_order
• rules::unitdiskmapping::triangular::gadgets::apply_crossing_gadgets
• rules::unitdiskmapping::triangular::gadgets::apply_simplifier_gadgets
• rules::unitdiskmapping::triangular::gadgets::tape_entry_mis_overhead
• rules::unitdiskmapping::triangular::map_weights
• rules::unitdiskmapping::triangular::mapping::map_config_back
• rules::unitdiskmapping::triangular::mapping::map_unit_weights
• rules::unitdiskmapping::triangular::mapping::map_weighted
• rules::unitdiskmapping::triangular::mapping::map_weighted_with_method
• rules::unitdiskmapping::triangular::mapping::map_weighted_with_order
• rules::unitdiskmapping::triangular::trace_centers
• solvers::decision_search::solve_via_decision
• solvers::solve
• solvers::solver_capabilities
• topology::small_graphs::available_graphs
• topology::small_graphs::bull
• topology::small_graphs::chvatal
• topology::small_graphs::cubical
• topology::small_graphs::desargues
• topology::small_graphs::diamond
• topology::small_graphs::dodecahedral
• topology::small_graphs::frucht
• topology::small_graphs::heawood
• topology::small_graphs::house
• topology::small_graphs::housex
• topology::small_graphs::icosahedral
• topology::small_graphs::karate
• topology::small_graphs::krackhardtkite
• topology::small_graphs::moebiuskantor
• topology::small_graphs::octahedral
• topology::small_graphs::pappus
• topology::small_graphs::petersen
• topology::small_graphs::sedgewickmaze
• topology::small_graphs::smallgraph
• topology::small_graphs::tetrahedral
• topology::small_graphs::truncatedcube
• topology::small_graphs::truncatedtetrahedron
• topology::small_graphs::tutte
• types::i64_to_exact_f64

Type Aliases

• error::Result
• registry::variant::ConstructProblemFn
• rules::ExtractionResult
• rules::registry::AggregateReduceFn
• rules::registry::ReduceFn
• rules::unitdiskmapping::ksg::gadgets::SourceGraph
• rules::unitdiskmapping::ksg::gadgets_weighted::SourceGraph

Constants

• rules::unitdiskmapping::ksg::PADDING
• rules::unitdiskmapping::ksg::SPACING
• rules::unitdiskmapping::triangular::PADDING
• rules::unitdiskmapping::triangular::SPACING
• rules::unitdiskmapping::triangular::mapping::PADDING
• rules::unitdiskmapping::triangular::mapping::SPACING
• types::MAX_EXACT_F64_INTEGER