choco.cp.solver.preprocessor
Class SymetryBreakingModelDetector

java.lang.Object
  extended by choco.cp.common.util.preprocessor.AbstractDetector
      extended by choco.cp.common.util.preprocessor.AbstractAdvancedDetector
          extended by choco.cp.solver.preprocessor.SymetryBreakingModelDetector
Direct Known Subclasses:
SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector

public class SymetryBreakingModelDetector
extends AbstractAdvancedDetector

Simple symetry detection.


Nested Class Summary
static class SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
          Fake Symetry detector, do not do anything
 
Field Summary
 
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
SymetryBreakingModelDetector(CPModel model)
           
 
Method Summary
 void apply()
          Break symetries in graph coloring by instantiating the largest clique.
 void setMaxClique(IntegerVariable[] clique)
           
 
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

SymetryBreakingModelDetector

public SymetryBreakingModelDetector(CPModel model)
Method Detail

setMaxClique

public void setMaxClique(IntegerVariable[] clique)

apply

public final void apply()
Break symetries in graph coloring by instantiating the largest clique. Conditions are : - a unique domain and only difference constraints

Specified by:
apply in class AbstractAdvancedDetector


Copyright © 2012. All Rights Reserved.