choco.cp.solver.preprocessor
Class SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector

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
              extended by choco.cp.solver.preprocessor.SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
Enclosing class:
SymetryBreakingModelDetector

public static final class SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
extends SymetryBreakingModelDetector

Fake Symetry detector, do not do anything


Nested Class Summary
 
Nested classes/interfaces inherited from class choco.cp.solver.preprocessor.SymetryBreakingModelDetector
SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
 
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.EmptySymetryBreakingModelDetector(CPModel model)
           
 
Method Summary
 void setMaxClique(IntegerVariable[] clique)
           
 
Methods inherited from class choco.cp.solver.preprocessor.SymetryBreakingModelDetector
apply
 
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.EmptySymetryBreakingModelDetector

public SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector(CPModel model)
Method Detail

setMaxClique

public void setMaxClique(IntegerVariable[] clique)
Overrides:
setMaxClique in class SymetryBreakingModelDetector


Copyright © 2012. All Rights Reserved.