Module prelude

Module prelude 

Source
Expand description

Prelude module for convenient imports.

Re-exportsยง

pub use crate::config::bits_to_config;
pub use crate::config::config_to_bits;
pub use crate::config::config_to_index;
pub use crate::config::index_to_config;
pub use crate::config::ConfigIterator;
pub use crate::error::ProblemError;
pub use crate::error::Result;
pub use crate::models::graph::Coloring;
pub use crate::models::graph::DominatingSet;
pub use crate::models::graph::IndependentSet;
pub use crate::models::graph::Matching;
pub use crate::models::graph::MaxCut;
pub use crate::models::graph::MaximalIS;
pub use crate::models::graph::VertexCovering;
pub use crate::models::optimization::Comparison;
pub use crate::models::optimization::LinearConstraint;
pub use crate::models::optimization::ObjectiveSense;
pub use crate::models::optimization::SpinGlass;
pub use crate::models::optimization::VarBounds;
pub use crate::models::optimization::ILP;
pub use crate::models::optimization::QUBO;
pub use crate::models::satisfiability::CNFClause;
pub use crate::models::satisfiability::KSatisfiability;
pub use crate::models::satisfiability::Satisfiability;
pub use crate::models::set::SetCovering;
pub use crate::models::set::SetPacking;
pub use crate::models::specialized::BicliqueCover;
pub use crate::models::specialized::CircuitSAT;
pub use crate::models::specialized::Factoring;
pub use crate::models::specialized::PaintShop;
pub use crate::models::specialized::BMF;
pub use crate::registry::ComplexityClass;
pub use crate::registry::GraphSubcategory;
pub use crate::registry::ProblemCategory;
pub use crate::registry::ProblemInfo;
pub use crate::registry::ProblemMetadata;
pub use crate::solvers::BruteForce;
pub use crate::solvers::Solver;
pub use crate::rules::ReduceTo;
pub use crate::rules::ReductionResult;
pub use crate::traits::csp_solution_size;
pub use crate::traits::ConstraintSatisfactionProblem;
pub use crate::traits::Problem;
pub use crate::types::EnergyMode;
pub use crate::types::LocalConstraint;
pub use crate::types::LocalSolutionSize;
pub use crate::types::NumericWeight;
pub use crate::types::ProblemSize;
pub use crate::types::SolutionSize;