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

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.DisjunctionsSolverDetector

public class DisjunctionsSolverDetector
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 disjonctions 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
DisjunctionsSolverDetector(CPModel model, PreProcessCPSolver solver)
           
 
Method Summary
 int[] addAllDisjunctiveEdges(PreProcessCPSolver ppcs)
          Build the constraint graph of disjonctions and compute the duration of each task
 void apply()
          Apply the detection defined within the detector.
 
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

DisjunctionsSolverDetector

public DisjunctionsSolverDetector(CPModel model,
                                  PreProcessCPSolver solver)
Method Detail

apply

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

Specified by:
apply in class AbstractAdvancedDetector

addAllDisjunctiveEdges

public int[] addAllDisjunctiveEdges(PreProcessCPSolver ppcs)
Build the constraint graph of disjonctions and compute the duration of each task

Parameters:
ppcs - PreProcessCPSolver
Returns:
int[]


Copyright © 2012. All Rights Reserved.