choco.cp.common.util.preprocessor.detector
Class AbstractGraphBasedDetector

java.lang.Object
  extended by choco.cp.common.util.preprocessor.AbstractDetector
      extended by choco.cp.common.util.preprocessor.AbstractAdvancedDetector
          extended by 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


Nested Class Summary
 class AbstractGraphBasedDetector.CliqueIterator
           
 
Field Summary
protected  ArrayGraph diffs
          The graph of differences
protected  AbstractGraphBasedDetector.CliqueIterator itc
           
 
Fields inherited from class choco.cp.common.util.preprocessor.AbstractAdvancedDetector
constraintsToAdd, constraintsToDelete, variablesToAdd, variablesToDelete, variablesToReplace
 
Fields inherited from class choco.cp.common.util.preprocessor.AbstractDetector
LOGGER, model
 
Constructor Summary
protected AbstractGraphBasedDetector(CPModel model)
           
 
Method Summary
 void addEdge(Variable a, Variable b, Constraint c)
           
 AbstractGraphBasedDetector.CliqueIterator cliqueIterator()
          An iterator over all the cliques detected by the Bron and Kerbosh
 void removeConstraint(int a, int b)
           
 
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 choco.cp.common.util.preprocessor.AbstractDetector
applyThenCommit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

diffs

protected ArrayGraph diffs
The graph of differences


itc

protected AbstractGraphBasedDetector.CliqueIterator itc
Constructor Detail

AbstractGraphBasedDetector

protected AbstractGraphBasedDetector(CPModel model)
Method Detail

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.