choco.cp.common.util.preprocessor.detector
Class AbstractGraphBasedDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.common.util.preprocessor.detector.AbstractGraphBasedDetector
- Direct Known Subclasses:
- CliquesModelDetector, DisjunctionsSolverDetector
public abstract class AbstractGraphBasedDetector
- extends AbstractAdvancedDetector
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 2 avr. 2010br/>
Since : Choco 2.1.1
A class dedicated to detect clique of differences or disjonctions
and state the corresponding global constraints
Methods inherited from class choco.cp.common.util.preprocessor.AbstractAdvancedDetector |
add, add, apply, commit, delete, delete, forget, forget, keep, keep, replaceBy, rollback |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
diffs
protected ArrayGraph diffs
- The graph of differences
itc
protected AbstractGraphBasedDetector.CliqueIterator itc
AbstractGraphBasedDetector
protected AbstractGraphBasedDetector(CPModel model)
addEdge
public void addEdge(Variable a,
Variable b,
Constraint c)
removeConstraint
public void removeConstraint(int a,
int b)
cliqueIterator
public AbstractGraphBasedDetector.CliqueIterator cliqueIterator()
- An iterator over all the cliques detected by the Bron and Kerbosh
- Returns:
- CliqueIterator
Copyright © 2012. All Rights Reserved.