choco.cp.solver.preprocessor
Class SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
java.lang.Object
choco.cp.common.util.preprocessor.AbstractDetector
choco.cp.common.util.preprocessor.AbstractAdvancedDetector
choco.cp.solver.preprocessor.SymetryBreakingModelDetector
choco.cp.solver.preprocessor.SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
- Enclosing class:
- SymetryBreakingModelDetector
public static final class SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
- extends SymetryBreakingModelDetector
Fake Symetry detector, do not do anything
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 |
SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector
public SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector(CPModel model)
setMaxClique
public void setMaxClique(IntegerVariable[] clique)
- Overrides:
setMaxClique
in class SymetryBreakingModelDetector
Copyright © 2012. All Rights Reserved.