Skip to main content

DeclaredVariant

Trait DeclaredVariant 

Source
pub trait DeclaredVariant { }
Expand description

Marker trait for explicitly declared problem variants.

Implemented automatically by [declare_variants!] for each concrete type. The [#[reduction]] proc macro checks this trait at compile time to ensure all reduction source/target types have been declared.

Implementors§

Source§

impl DeclaredVariant for AlgebraicEquationsOverGF2

Source§

impl DeclaredVariant for BMF

Source§

impl DeclaredVariant for ClosestVectorProblem<f64>

Source§

impl DeclaredVariant for ClosestVectorProblem<i32>

Source§

impl DeclaredVariant for ConsecutiveBlockMinimization

Source§

impl DeclaredVariant for ConsecutiveOnesMatrixAugmentation

Source§

impl DeclaredVariant for ConsecutiveOnesSubmatrix

Source§

impl DeclaredVariant for EquilibriumPoint

Source§

impl DeclaredVariant for FeasibleBasisExtension

Source§

impl DeclaredVariant for ILP<bool>

Source§

impl DeclaredVariant for ILP<i32>

Source§

impl DeclaredVariant for MinimumMatrixCover

Source§

impl DeclaredVariant for MinimumMatrixDomination

Source§

impl DeclaredVariant for MinimumWeightDecoding

Source§

impl DeclaredVariant for MinimumWeightSolutionToLinearEquations

Source§

impl DeclaredVariant for QUBO<f64>

Source§

impl DeclaredVariant for QuadraticAssignment

Source§

impl DeclaredVariant for QuadraticCongruences

Source§

impl DeclaredVariant for QuadraticDiophantineEquations

Source§

impl DeclaredVariant for SimultaneousIncongruences

Source§

impl DeclaredVariant for SparseMatrixCompression

Source§

impl DeclaredVariant for Decision<MinimumDominatingSet<SimpleGraph, i32>>

Source§

impl DeclaredVariant for Decision<MinimumDominatingSet<SimpleGraph, One>>

Source§

impl DeclaredVariant for Decision<MinimumVertexCover<SimpleGraph, i32>>

Source§

impl DeclaredVariant for CircuitSAT

Source§

impl DeclaredVariant for KSatisfiability<K2>

Source§

impl DeclaredVariant for KSatisfiability<K3>

Source§

impl DeclaredVariant for KSatisfiability<KN>

Source§

impl DeclaredVariant for Maximum2Satisfiability

Source§

impl DeclaredVariant for NAESatisfiability

Source§

impl DeclaredVariant for NonTautology

Source§

impl DeclaredVariant for OneInThreeSatisfiability

Source§

impl DeclaredVariant for Planar3Satisfiability

Source§

impl DeclaredVariant for QuantifiedBooleanFormulas

Source§

impl DeclaredVariant for Satisfiability

Source§

impl DeclaredVariant for AcyclicPartition<i32>

Source§

impl DeclaredVariant for BalancedCompleteBipartiteSubgraph

Source§

impl DeclaredVariant for BicliqueCover

Source§

impl DeclaredVariant for BiconnectivityAugmentation<SimpleGraph, i32>

Source§

impl DeclaredVariant for BottleneckTravelingSalesman

Source§

impl DeclaredVariant for BoundedComponentSpanningForest<SimpleGraph, i32>

Source§

impl DeclaredVariant for BoundedDiameterSpanningTree<SimpleGraph, i32>

Source§

impl DeclaredVariant for DegreeConstrainedSpanningTree<SimpleGraph>

Source§

impl DeclaredVariant for DirectedHamiltonianPath

Source§

impl DeclaredVariant for DirectedTwoCommodityIntegralFlow

Source§

impl DeclaredVariant for DisjointConnectingPaths<SimpleGraph>

Source§

impl DeclaredVariant for GeneralizedHex<SimpleGraph>

Source§

impl DeclaredVariant for GraphPartitioning<SimpleGraph>

Source§

impl DeclaredVariant for HamiltonianCircuit<SimpleGraph>

Source§

impl DeclaredVariant for HamiltonianPath<SimpleGraph>

Source§

impl DeclaredVariant for HamiltonianPathBetweenTwoVertices<SimpleGraph>

Source§

impl DeclaredVariant for IntegralFlowBundles

Source§

impl DeclaredVariant for IntegralFlowHomologousArcs

Source§

impl DeclaredVariant for IntegralFlowWithMultipliers

Source§

impl DeclaredVariant for IsomorphicSpanningTree<SimpleGraph>

Source§

impl DeclaredVariant for KClique<SimpleGraph>

Source§

impl DeclaredVariant for KColoring<K2, SimpleGraph>

Source§

impl DeclaredVariant for KColoring<K3, SimpleGraph>

Source§

impl DeclaredVariant for KColoring<K4, SimpleGraph>

Source§

impl DeclaredVariant for KColoring<K5, SimpleGraph>

Source§

impl DeclaredVariant for KColoring<KN, SimpleGraph>

Source§

impl DeclaredVariant for Kernel

Source§

impl DeclaredVariant for KthBestSpanningTree<i32>

Source§

impl DeclaredVariant for LengthBoundedDisjointPaths<SimpleGraph>

Source§

impl DeclaredVariant for LongestCircuit<SimpleGraph, i32>

Source§

impl DeclaredVariant for LongestPath<SimpleGraph, i32>

Source§

impl DeclaredVariant for LongestPath<SimpleGraph, One>

Source§

impl DeclaredVariant for MaxCut<SimpleGraph, i32>

Source§

impl DeclaredVariant for MaxCut<SimpleGraph, One>

Source§

impl DeclaredVariant for MaximalIS<SimpleGraph, i32>

Source§

impl DeclaredVariant for MaximumAchromaticNumber<SimpleGraph>

Source§

impl DeclaredVariant for MaximumClique<SimpleGraph, i32>

Source§

impl DeclaredVariant for MaximumClique<SimpleGraph, One>

Source§

impl DeclaredVariant for MaximumDomaticNumber<SimpleGraph>

Source§

impl DeclaredVariant for MaximumIndependentSet<KingsSubgraph, i32>

Source§

impl DeclaredVariant for MaximumIndependentSet<KingsSubgraph, One>

Source§

impl DeclaredVariant for MaximumIndependentSet<SimpleGraph, i32>

Source§

impl DeclaredVariant for MaximumIndependentSet<SimpleGraph, One>

Source§

impl DeclaredVariant for MaximumIndependentSet<TriangularSubgraph, i32>

Source§

impl DeclaredVariant for MaximumIndependentSet<UnitDiskGraph, i32>

Source§

impl DeclaredVariant for MaximumIndependentSet<UnitDiskGraph, One>

Source§

impl DeclaredVariant for MaximumLeafSpanningTree<SimpleGraph>

Source§

impl DeclaredVariant for MaximumMatching<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinMaxMulticenter<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinMaxMulticenter<SimpleGraph, One>

Source§

impl DeclaredVariant for MinimumCapacitatedSpanningTree<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinimumCoveringByCliques<SimpleGraph>

Source§

impl DeclaredVariant for MinimumCutIntoBoundedSets<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinimumDominatingSet<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinimumDominatingSet<SimpleGraph, One>

Source§

impl DeclaredVariant for MinimumDummyActivitiesPert

Source§

impl DeclaredVariant for MinimumEdgeCostFlow

Source§

impl DeclaredVariant for MinimumFeedbackArcSet<i32>

Source§

impl DeclaredVariant for MinimumFeedbackVertexSet<i32>

Source§

impl DeclaredVariant for MinimumGeometricConnectedDominatingSet

Source§

impl DeclaredVariant for MinimumGraphBandwidth<SimpleGraph>

Source§

impl DeclaredVariant for MinimumIntersectionGraphBasis<SimpleGraph>

Source§

impl DeclaredVariant for MinimumMaximalMatching<SimpleGraph>

Source§

impl DeclaredVariant for MinimumMetricDimension<SimpleGraph>

Source§

impl DeclaredVariant for MinimumMultiwayCut<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinimumSumMulticenter<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinimumVertexCover<SimpleGraph, i32>

Source§

impl DeclaredVariant for MinimumVertexCover<SimpleGraph, One>

Source§

impl DeclaredVariant for MixedChinesePostman<i32>

Source§

impl DeclaredVariant for MixedChinesePostman<One>

Source§

impl DeclaredVariant for MonochromaticTriangle<SimpleGraph>

Source§

impl DeclaredVariant for MultipleChoiceBranching<i32>

Source§

impl DeclaredVariant for MultipleCopyFileAllocation

Source§

impl DeclaredVariant for OptimalLinearArrangement<SimpleGraph>

Source§

impl DeclaredVariant for PartialFeedbackEdgeSet<SimpleGraph>

Source§

impl DeclaredVariant for PartitionIntoCliques<SimpleGraph>

Source§

impl DeclaredVariant for PartitionIntoForests<SimpleGraph>

Source§

impl DeclaredVariant for PartitionIntoPathsOfLength2<SimpleGraph>

Source§

impl DeclaredVariant for PartitionIntoPerfectMatchings<SimpleGraph>

Source§

impl DeclaredVariant for PartitionIntoTriangles<SimpleGraph>

Source§

impl DeclaredVariant for PathConstrainedNetworkFlow

Source§

impl DeclaredVariant for RootedTreeArrangement<SimpleGraph>

Source§

impl DeclaredVariant for RuralPostman<SimpleGraph, i32>

Source§

impl DeclaredVariant for ShortestWeightConstrainedPath<SimpleGraph, i32>

Source§

impl DeclaredVariant for SpinGlass<SimpleGraph, f64>

Source§

impl DeclaredVariant for SpinGlass<SimpleGraph, i32>

Source§

impl DeclaredVariant for SteinerTree<SimpleGraph, i32>

Source§

impl DeclaredVariant for SteinerTree<SimpleGraph, One>

Source§

impl DeclaredVariant for SteinerTreeInGraphs<SimpleGraph, i32>

Source§

impl DeclaredVariant for SteinerTreeInGraphs<SimpleGraph, One>

Source§

impl DeclaredVariant for StrongConnectivityAugmentation<i32>

Source§

impl DeclaredVariant for SubgraphIsomorphism

Source§

impl DeclaredVariant for TravelingSalesman<SimpleGraph, i32>

Source§

impl DeclaredVariant for UndirectedFlowLowerBounds

Source§

impl DeclaredVariant for UndirectedTwoCommodityIntegralFlow

Source§

impl DeclaredVariant for AdditionalKey

Source§

impl DeclaredVariant for Betweenness

Source§

impl DeclaredVariant for BinPacking<f64>

Source§

impl DeclaredVariant for BinPacking<i32>

Source§

impl DeclaredVariant for BoyceCoddNormalFormViolation

Source§

impl DeclaredVariant for CapacityAssignment

Source§

impl DeclaredVariant for Clustering

Source§

impl DeclaredVariant for ConjunctiveBooleanQuery

Source§

impl DeclaredVariant for ConjunctiveQueryFoldability

Source§

impl DeclaredVariant for ConsistencyOfDatabaseFrequencyTables

Source§

impl DeclaredVariant for CosineProductIntegration

Source§

impl DeclaredVariant for CyclicOrdering

Source§

impl DeclaredVariant for DynamicStorageAllocation

Source§

impl DeclaredVariant for EnsembleComputation

Source§

impl DeclaredVariant for ExpectedRetrievalCost

Source§

impl DeclaredVariant for Factoring

Source§

impl DeclaredVariant for FeasibleRegisterAssignment

Source§

impl DeclaredVariant for FlowShopScheduling

Source§

impl DeclaredVariant for GroupingBySwapping

Source§

impl DeclaredVariant for IntegerExpressionMembership

Source§

impl DeclaredVariant for JobShopScheduling

Source§

impl DeclaredVariant for Knapsack

Source§

impl DeclaredVariant for KthLargestMTuple

Source§

impl DeclaredVariant for LongestCommonSubsequence

Source§

impl DeclaredVariant for MaximumLikelihoodRanking

Source§

impl DeclaredVariant for MinimumAxiomSet

Source§

impl DeclaredVariant for MinimumCodeGenerationOneRegister

Source§

impl DeclaredVariant for MinimumCodeGenerationParallelAssignments

Source§

impl DeclaredVariant for MinimumCodeGenerationUnlimitedRegisters

Source§

impl DeclaredVariant for MinimumDecisionTree

Source§

impl DeclaredVariant for MinimumDisjunctiveNormalForm

Source§

impl DeclaredVariant for MinimumExternalMacroDataCompression

Source§

impl DeclaredVariant for MinimumFaultDetectionTestSet

Source§

impl DeclaredVariant for MinimumInternalMacroDataCompression

Source§

impl DeclaredVariant for MinimumRegisterSufficiencyForLoops

Source§

impl DeclaredVariant for MinimumTardinessSequencing<i32>

Source§

impl DeclaredVariant for MinimumTardinessSequencing<One>

Source§

impl DeclaredVariant for MinimumWeightAndOrGraph

Source§

impl DeclaredVariant for MultiprocessorScheduling

Source§

impl DeclaredVariant for NonLivenessFreePetriNet

Source§

impl DeclaredVariant for Numerical3DimensionalMatching

Source§

impl DeclaredVariant for NumericalMatchingWithTargetSums

Source§

impl DeclaredVariant for OpenShopScheduling

Source§

impl DeclaredVariant for OptimumCommunicationSpanningTree

Source§

impl DeclaredVariant for PaintShop

Source§

impl DeclaredVariant for PartiallyOrderedKnapsack

Source§

impl DeclaredVariant for Partition

Source§

impl DeclaredVariant for PrecedenceConstrainedScheduling

Source§

impl DeclaredVariant for PreemptiveScheduling

Source§

impl DeclaredVariant for ProductionPlanning

Source§

impl DeclaredVariant for RectilinearPictureCompression

Source§

impl DeclaredVariant for RegisterSufficiency

Source§

impl DeclaredVariant for ResourceConstrainedScheduling

Source§

impl DeclaredVariant for SchedulingToMinimizeWeightedCompletionTime

Source§

impl DeclaredVariant for SchedulingWithIndividualDeadlines

Source§

impl DeclaredVariant for SequencingToMinimizeMaximumCumulativeCost

Source§

impl DeclaredVariant for SequencingToMinimizeTardyTaskWeight

Source§

impl DeclaredVariant for SequencingToMinimizeWeightedCompletionTime

Source§

impl DeclaredVariant for SequencingToMinimizeWeightedTardiness

Source§

impl DeclaredVariant for SequencingWithDeadlinesAndSetUpTimes

Source§

impl DeclaredVariant for SequencingWithReleaseTimesAndDeadlines

Source§

impl DeclaredVariant for SequencingWithinIntervals

Source§

impl DeclaredVariant for ShortestCommonSupersequence

Source§

impl DeclaredVariant for SquareTiling

Source§

impl DeclaredVariant for StackerCrane

Source§

impl DeclaredVariant for StaffScheduling

Source§

impl DeclaredVariant for StringToStringCorrection

Source§

impl DeclaredVariant for SubsetProduct

Source§

impl DeclaredVariant for SubsetSum

Source§

impl DeclaredVariant for SumOfSquaresPartition

Source§

impl DeclaredVariant for ThreePartition

Source§

impl DeclaredVariant for TimetableDesign

Source§

impl DeclaredVariant for ComparativeContainment<f64>

Source§

impl DeclaredVariant for ComparativeContainment<i32>

Source§

impl DeclaredVariant for ComparativeContainment<One>

Source§

impl DeclaredVariant for ConsecutiveSets

Source§

impl DeclaredVariant for ExactCoverBy3Sets

Source§

impl DeclaredVariant for IntegerKnapsack

Source§

impl DeclaredVariant for MaximumSetPacking<f64>

Source§

impl DeclaredVariant for MaximumSetPacking<i32>

Source§

impl DeclaredVariant for MaximumSetPacking<One>

Source§

impl DeclaredVariant for MinimumCardinalityKey

Source§

impl DeclaredVariant for MinimumHittingSet

Source§

impl DeclaredVariant for MinimumSetCovering<i32>

Source§

impl DeclaredVariant for PrimeAttributeName

Source§

impl DeclaredVariant for RootedTreeStorageAssignment

Source§

impl DeclaredVariant for SetBasis

Source§

impl DeclaredVariant for SetSplitting

Source§

impl DeclaredVariant for ThreeDimensionalMatching

Source§

impl DeclaredVariant for ThreeMatroidIntersection

Source§

impl DeclaredVariant for TwoDimensionalConsecutiveSets