choco.cp.common.util.preprocessor.detector.scheduling
Class DisjunctiveSModel

java.lang.Object
  extended by choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveGraph<ITemporalSRelation>
      extended by choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveSModel
All Implemented Interfaces:
IDotty

public class DisjunctiveSModel
extends DisjunctiveGraph<ITemporalSRelation>


Field Summary
 Solver solver
           
 
Fields inherited from class choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveGraph
ARC_COLOR, ARROW_BIG, ARROW_DOT, DIR_BWD, disjGraph, EDGE_COLOR, nbArcs, nbEdges, nbNodes, precGraph, setupTimes, storedConstraints, STY_BOLD, STY_BOLD_DASHED
 
Constructor Summary
DisjunctiveSModel(PreProcessCPSolver solver)
           
DisjunctiveSModel(Solver solver, DisjunctiveModel dmod)
           
 
Method Summary
 boolean containsEdge(ITask t1, ITask t2)
           
static gnu.trove.TIntArrayList[] convertToLists(BitSet[] graph)
           
 BitSet[] generatePrecGraph()
           
 gnu.trove.TIntArrayList[] generatePrecReductionGraph()
           
 ITemporalSRelation getConstraint(ITask t1, ITask t2)
           
 IntDomainVar[] getDisjuncts()
           
 ITemporalSRelation[] getEdges()
           
 Solver getSolver()
           
protected  StringBuilder toDottyNodes()
           
 
Methods inherited from class choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveGraph
addArc, addArc, addEdge, addEdge, andNot, containsArc, containsConstraint, containsEdge, containsRelation, copy, copyPrecGraph, deleteArc, floydMarshallClosure, floydMarshallReduction, getArcLabel, getClosure, getConstraint, getEdgeConstraint, getEdgeLabel, getKey, getNbArcs, getNbEdges, getNbNodes, getPrecClosure, getReduction, getTransitive, isEmpty, isFixed, safeAddArc, setPrecClosure, setupTime, setupTimesToString, toDotty, toString, unsetPrecClosure, writeArcAttributes, writeAttributes, writeEdge, writeEdgeAttributes
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

solver

public final Solver solver
Constructor Detail

DisjunctiveSModel

public DisjunctiveSModel(PreProcessCPSolver solver)

DisjunctiveSModel

public DisjunctiveSModel(Solver solver,
                         DisjunctiveModel dmod)
Method Detail

getSolver

public final Solver getSolver()

containsEdge

public final boolean containsEdge(ITask t1,
                                  ITask t2)

getConstraint

public final ITemporalSRelation getConstraint(ITask t1,
                                              ITask t2)

getDisjuncts

public final IntDomainVar[] getDisjuncts()

getEdges

public final ITemporalSRelation[] getEdges()

generatePrecGraph

public final BitSet[] generatePrecGraph()

convertToLists

public static final gnu.trove.TIntArrayList[] convertToLists(BitSet[] graph)

generatePrecReductionGraph

public final gnu.trove.TIntArrayList[] generatePrecReductionGraph()

toDottyNodes

protected StringBuilder toDottyNodes()
Overrides:
toDottyNodes in class DisjunctiveGraph<ITemporalSRelation>


Copyright © 2012. All Rights Reserved.