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

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
              extended by choco.cp.common.util.preprocessor.detector.CliquesModelDetector

public class CliquesModelDetector
extends AbstractGraphBasedDetector

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 2 avr. 2010br/> Since : Choco 2.1.1

A class dedicated to detect clique of differences and state the corresponding global constraints


Nested Class Summary
 
Nested classes/interfaces inherited from class choco.cp.common.util.preprocessor.detector.AbstractGraphBasedDetector
AbstractGraphBasedDetector.CliqueIterator
 
Field Summary
 
Fields inherited from class choco.cp.common.util.preprocessor.detector.AbstractGraphBasedDetector
diffs, 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
CliquesModelDetector(CPModel model, boolean breakSymetries)
           
 
Method Summary
 boolean addAllNeqEdges()
          Build the constraint graph of differences
 void apply()
          Apply the detection defined within the detector.
static boolean isRealBinaryNeq(Variable[] vars)
           
 
Methods inherited from class choco.cp.common.util.preprocessor.detector.AbstractGraphBasedDetector
addEdge, cliqueIterator, removeConstraint
 
Methods inherited from class choco.cp.common.util.preprocessor.AbstractAdvancedDetector
add, add, 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
 

Constructor Detail

CliquesModelDetector

public CliquesModelDetector(CPModel model,
                            boolean breakSymetries)
Method Detail

apply

public void apply()
Apply the detection defined within the detector.

Specified by:
apply in class AbstractAdvancedDetector

addAllNeqEdges

public boolean addAllNeqEdges()
Build the constraint graph of differences

Returns:
boolean

isRealBinaryNeq

public static boolean isRealBinaryNeq(Variable[] vars)


Copyright © 2012. All Rights Reserved.