List of all items

Structs

• config::ConfigIterator
• graph_types::BipartiteGraph
• graph_types::GraphSubtypeEntry
• graph_types::PlanarGraph
• graph_types::SimpleGraph
• graph_types::UnitDiskGraph
• models::graph::Coloring
• models::graph::DominatingSet
• models::graph::IndependentSet
• models::graph::Matching
• models::graph::MaxCut
• models::graph::MaximalIS
• models::graph::VertexCovering
• models::graph::template::CliqueConstraint
• models::graph::template::GraphProblem
• models::graph::template::IndependentSetConstraint
• models::graph::template::VertexCoverConstraint
• models::optimization::ILP
• models::optimization::LinearConstraint
• models::optimization::QUBO
• models::optimization::SpinGlass
• models::optimization::VarBounds
• models::satisfiability::CNFClause
• models::satisfiability::KSatisfiability
• models::satisfiability::Satisfiability
• models::set::SetCovering
• models::set::SetPacking
• models::specialized::Assignment
• models::specialized::BMF
• models::specialized::BicliqueCover
• models::specialized::BooleanExpr
• models::specialized::Circuit
• models::specialized::CircuitSAT
• models::specialized::Factoring
• models::specialized::PaintShop
• polynomial::Monomial
• polynomial::Polynomial
• registry::ProblemInfo
• rules::BoolVar
• rules::EdgeJson
• rules::LogicGadget
• rules::NodeJson
• rules::ReductionCircuitToSG
• rules::ReductionEdge
• rules::ReductionFactoringToCircuit
• rules::ReductionGraph
• rules::ReductionGraphJson
• rules::ReductionISToSP
• rules::ReductionISToVC
• rules::ReductionKSATToSAT
• rules::ReductionMatchingToSP
• rules::ReductionMaxCutToSG
• rules::ReductionPath
• rules::ReductionQUBOToSG
• rules::ReductionSATToColoring
• rules::ReductionSATToDS
• rules::ReductionSATToIS
• rules::ReductionSATToKSAT
• rules::ReductionSGToMaxCut
• rules::ReductionSGToQUBO
• rules::ReductionSPToIS
• rules::ReductionVCToIS
• rules::ReductionVCToSC
• rules::cost::CustomCost
• rules::cost::Minimize
• rules::cost::MinimizeLexicographic
• rules::cost::MinimizeMax
• rules::cost::MinimizeSteps
• rules::cost::MinimizeWeighted
• rules::registry::ReductionEntry
• rules::registry::ReductionOverhead
• solvers::BruteForce
• testing::GraphTestCase
• testing::SatTestCase
• topology::HyperGraph
• topology::SimpleGraph
• topology::UnitDiskGraph
• truth_table::TruthTable
• types::LocalConstraint
• types::LocalSolutionSize
• types::ProblemSize
• types::SolutionSize

Enums

• error::ProblemError
• io::FileFormat
• models::optimization::Comparison
• models::optimization::ObjectiveSense
• models::specialized::BooleanOp
• registry::ComplexityClass
• registry::GraphSubcategory
• registry::NetworkSubcategory
• registry::OptimizationSubcategory
• registry::ProblemCategory
• registry::SatisfiabilitySubcategory
• registry::SchedulingSubcategory
• registry::SetSubcategory
• registry::SpecializedSubcategory
• registry::StringSubcategory
• types::EnergyMode

Traits

• graph_types::GraphMarker
• graph_types::GraphSubtype
• models::graph::template::GraphConstraint
• registry::ProblemMetadata
• rules::ReduceTo
• rules::ReductionResult
• rules::cost::PathCostFn
• solvers::BruteForceFloat
• solvers::Solver
• topology::Graph
• traits::ConstraintSatisfactionProblem
• traits::Problem
• types::NumericWeight

Macros

• complement_test
• declare_graph_subtype
• graph_problem_tests
• poly
• quick_problem_test

Functions

• config::bits_to_config
• config::config_to_bits
• config::config_to_index
• config::index_to_config
• io::from_json
• io::read_file
• io::read_problem
• io::to_json
• io::to_json_compact
• io::write_file
• io::write_problem
• models::graph::cut_size
• models::graph::is_dominating_set
• models::graph::is_independent_set
• models::graph::is_matching
• models::graph::is_maximal_independent_set
• models::graph::is_valid_coloring
• models::graph::is_vertex_cover
• models::satisfiability::is_satisfying_assignment
• models::set::is_set_cover
• models::set::is_set_packing
• models::specialized::boolean_matrix_product
• models::specialized::count_paint_switches
• models::specialized::is_biclique_cover
• models::specialized::is_circuit_satisfying
• models::specialized::is_factoring
• models::specialized::matrix_hamming_distance
• rules::and_gadget
• rules::not_gadget
• rules::or_gadget
• rules::set0_gadget
• rules::set1_gadget
• rules::xor_gadget
• traits::csp_solution_size

Type Aliases

• error::Result
• models::graph::template::CliqueT
• models::graph::template::IndependentSetT
• models::graph::template::VertexCoverT