Module org.chocosolver
Package org.chocosolver.solver.constraints.nary.circuit
-
Class Summary Class Description PropCircuit_AntiArboFiltering Propagator for circuit constraint based on dominators Redundant propagatorPropCircuit_ArboFiltering Propagator for sub-circuit constraint based on dominators Redundant propagatorPropCircuitSCC 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