Package org.chocosolver.solver.constraints.nary.circuit

Class Summary

Class	Description
PropCircuit_AntiArboFiltering	Propagator for circuit constraint based on dominators Redundant propagator
PropCircuit_ArboFiltering	Propagator for sub-circuit constraint based on dominators Redundant propagator
PropCircuitSCC	Filters circuit based on strongly connected components (see the TechReport "Improving the Asymmetric TSP by considering graph structure", Fages & Lorca, 2012)
PropNoSubtour	Simple nocircuit contraint (from NoSubtour of Pesant or noCycle of Caseaux/Laburthe)
PropSubcircuit	Subcircuit propagator (one circuit and several loops)
PropSubcircuitDominatorFilter	Propagator for sub-circuit constraint based on dominators Redundant propagator

Enum Summary

Enum	Description
CircuitConf	Enum to specify the filtering level of the circuit global constraint