choco.cp.common.util.preprocessor.detector
Class CliquesModelDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.common.util.preprocessor.detector.AbstractGraphBasedDetector
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
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CliquesModelDetector
public CliquesModelDetector(CPModel model,
boolean breakSymetries)
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.