List of all items

Structs

• config::DimsIterator
• export::ExampleDb
• export::ModelDb
• export::ModelExample
• export::ProblemRef
• export::ProblemSide
• export::RuleDb
• export::RuleExample
• export::SolutionPair
• models::algebraic::BMF
• models::algebraic::ClosestVectorProblem
• models::algebraic::ILP
• models::algebraic::LinearConstraint
• models::algebraic::QUBO
• models::algebraic::VarBounds
• models::formula::Assignment
• models::formula::BooleanExpr
• models::formula::CNFClause
• models::formula::Circuit
• models::formula::CircuitSAT
• models::formula::KSatisfiability
• models::formula::Satisfiability
• models::graph::BalancedCompleteBipartiteSubgraph
• models::graph::BicliqueCover
• models::graph::BiconnectivityAugmentation
• models::graph::BoundedComponentSpanningForest
• models::graph::DirectedTwoCommodityIntegralFlow
• models::graph::GraphPartitioning
• models::graph::HamiltonianCircuit
• models::graph::HamiltonianPath
• models::graph::IsomorphicSpanningTree
• models::graph::KColoring
• models::graph::KthBestSpanningTree
• models::graph::LengthBoundedDisjointPaths
• models::graph::MaxCut
• models::graph::MaximalIS
• models::graph::MaximumClique
• models::graph::MaximumIndependentSet
• models::graph::MaximumMatching
• models::graph::MinimumDominatingSet
• models::graph::MinimumFeedbackArcSet
• models::graph::MinimumFeedbackVertexSet
• models::graph::MinimumMultiwayCut
• models::graph::MinimumSumMulticenter
• models::graph::MinimumVertexCover
• models::graph::MultipleChoiceBranching
• models::graph::OptimalLinearArrangement
• models::graph::PartitionIntoTriangles
• models::graph::RuralPostman
• models::graph::SpinGlass
• models::graph::SteinerTree
• models::graph::StrongConnectivityAugmentation
• models::graph::SubgraphIsomorphism
• models::graph::TravelingSalesman
• models::graph::UndirectedTwoCommodityIntegralFlow
• models::misc::BinPacking
• models::misc::Factoring
• models::misc::FlowShopScheduling
• models::misc::Knapsack
• models::misc::LongestCommonSubsequence
• models::misc::MinimumTardinessSequencing
• models::misc::MultiprocessorScheduling
• models::misc::PaintShop
• models::misc::SequencingWithReleaseTimesAndDeadlines
• models::misc::SequencingWithinIntervals
• models::misc::ShortestCommonSupersequence
• models::misc::StaffScheduling
• models::misc::StringToStringCorrection
• models::misc::SubsetSum
• models::misc::SumOfSquaresPartition
• models::set::ComparativeContainment
• models::set::ConsecutiveSets
• models::set::ExactCoverBy3Sets
• models::set::MaximumSetPacking
• models::set::MinimumCardinalityKey
• models::set::MinimumSetCovering
• models::set::SetBasis
• registry::FieldInfo
• registry::FieldInfoJson
• registry::LoadedDynProblem
• registry::ProblemInfo
• registry::ProblemSchemaEntry
• registry::ProblemSchemaJson
• registry::ProblemSizeFieldEntry
• registry::VariantDimension
• registry::problem_ref::ProblemRef
• registry::problem_type::ProblemType
• registry::variant::VariantEntry
• rules::NeighborInfo
• rules::NeighborTree
• rules::ReductionAutoCast
• rules::ReductionChain
• rules::ReductionEdgeInfo
• rules::ReductionGraph
• rules::ReductionPath
• rules::ReductionStep
• rules::analysis::ConnectivityReport
• rules::analysis::DominatedRule
• rules::analysis::IsolatedProblem
• rules::analysis::ReachabilityReport
• rules::analysis::UnknownComparison
• rules::analysis::UnreachableProblem
• rules::cost::CustomCost
• rules::cost::Minimize
• rules::cost::MinimizeSteps
• rules::registry::ReductionEntry
• rules::registry::ReductionOverhead
• 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::TriBranch
• rules::unitdiskmapping::triangular::TriBranchFix
• rules::unitdiskmapping::triangular::TriBranchFixB
• rules::unitdiskmapping::triangular::TriCross
• rules::unitdiskmapping::triangular::TriEndTurn
• rules::unitdiskmapping::triangular::TriTConDown
• rules::unitdiskmapping::triangular::TriTConLeft
• rules::unitdiskmapping::triangular::TriTConUp
• rules::unitdiskmapping::triangular::TriTrivialTurnLeft
• rules::unitdiskmapping::triangular::TriTrivialTurnRight
• rules::unitdiskmapping::triangular::TriTurn
• rules::unitdiskmapping::triangular::TriWTurn
• rules::unitdiskmapping::triangular::TriangularTapeEntry
• 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::ilp::ILPSolver
• topology::BipartiteGraph
• topology::DirectedGraph
• topology::KingsSubgraph
• topology::PlanarGraph
• topology::SimpleGraph
• topology::TriangularSubgraph
• topology::UnitDiskGraph
• types::One
• types::ProblemSize
• variant::K1
• variant::K2
• variant::K3
• variant::K4
• variant::K5
• variant::KN
• variant::VariantSpec

Enums

• AsymptoticAnalysisError
• CanonicalizationError
• Expr
• error::ProblemError
• io::FileFormat
• models::algebraic::Comparison
• models::algebraic::ObjectiveSense
• models::formula::BooleanOp
• registry::ComplexityClass
• rules::TraversalDirection
• rules::analysis::ComparisonStatus
• rules::analysis::UnreachableReason
• rules::unitdiskmapping::ksg::gadgets::KsgPattern
• rules::unitdiskmapping::ksg::gadgets::Mirror
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgPattern
• rules::unitdiskmapping::ksg::mapping::GridKind
• rules::unitdiskmapping::triangular::LegacySourceCell
• rules::unitdiskmapping::triangular::gadgets::SourceCell
• types::Direction
• types::SolutionSize

Traits

• models::algebraic::VariableDomain
• registry::DynProblem
• registry::ProblemMetadata
• rules::ReduceTo
• rules::ReductionResult
• rules::cost::PathCostFn
• rules::unitdiskmapping::ksg::gadgets::KsgPatternBoxed
• rules::unitdiskmapping::ksg::gadgets_weighted::WeightedKsgPatternBoxed
• rules::unitdiskmapping::triangular::TriangularGadget
• rules::unitdiskmapping::triangular::gadgets::WeightedTriangularGadget
• solvers::Solver
• topology::Graph
• topology::GraphCast
• traits::DeclaredVariant
• traits::OptimizationProblem
• traits::Problem
• traits::SatisfactionProblem
• types::NumericSize
• types::WeightElement
• variant::CastToParent
• variant::KValue
• variant::VariantParam

Macros

• declare_variants
• impl_variant_param
• impl_variant_reduction
• variant_params

Attribute Macros

• reduction

Functions

• asymptotic_normal_form
• big_o_normal_form
• canonical_form
• config::config_to_index
• config::index_to_config
• export::lookup_overhead
• 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
• 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::declared_size_fields
• 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_entry
• rules::analysis::check_connectivity
• rules::analysis::check_reachability_from_3sat
• rules::analysis::compare_overhead
• rules::analysis::find_dominated_rules
• rules::analysis::format_problem_variant
• rules::registry::reduction_entries
• 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::map_config_back_pattern
• 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::map_config_back_pattern
• rules::unitdiskmapping::ksg::gadgets_weighted::weighted_tape_entry_mis_overhead
• rules::unitdiskmapping::ksg::mapping::embed_graph
• rules::unitdiskmapping::ksg::mapping::map_config_copyback
• 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::ksg::mapping::trace_centers
• rules::unitdiskmapping::ksg::mapping::unapply_gadgets
• rules::unitdiskmapping::ksg::mapping::unapply_weighted_gadgets
• rules::unitdiskmapping::triangular::apply_triangular_crossing_gadgets
• rules::unitdiskmapping::triangular::apply_triangular_simplifier_gadgets
• 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_graph_triangular
• rules::unitdiskmapping::triangular::map_graph_triangular_with_method
• rules::unitdiskmapping::triangular::map_graph_triangular_with_order
• 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::mapping::map_weights
• rules::unitdiskmapping::triangular::mapping::trace_centers
• rules::unitdiskmapping::triangular::mapping::weighted_ruleset
• rules::unitdiskmapping::triangular::triangular_tape_entry_mis_overhead
• 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

Type Aliases

• error::Result
• registry::SolveFn
• rules::unitdiskmapping::ksg::gadgets::SourceGraph
• rules::unitdiskmapping::ksg::gadgets_weighted::SourceGraph
• types::Unweighted

Constants

• rules::unitdiskmapping::ksg::PADDING
• rules::unitdiskmapping::ksg::SPACING
• rules::unitdiskmapping::triangular::PADDING
• rules::unitdiskmapping::triangular::SPACING
• rules::unitdiskmapping::triangular::TRIANGULAR_PADDING
• rules::unitdiskmapping::triangular::TRIANGULAR_SPACING
• rules::unitdiskmapping::triangular::mapping::PADDING
• rules::unitdiskmapping::triangular::mapping::SPACING