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

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

public class DisjunctiveModel
extends DisjunctiveGraph<TemporalConstraint>


Field Summary
 Model model
           
 
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
DisjunctiveModel(Model model)
           
 
Method Summary
 boolean containsArc(TaskVariable i, TaskVariable j)
           
 boolean containsEdge(TaskVariable i, TaskVariable j)
           
 boolean containsRelation(TaskVariable i, TaskVariable j)
           
 Model getModel()
           
 void safeAddArc(TaskVariable i, TaskVariable j)
           
 boolean safeAddArc(TemporalConstraint c)
           
 choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveModel.AddEdgeStatus safeAddEdge(TemporalConstraint c)
           
 int setupTime(TaskVariable i, TaskVariable j)
           
protected  StringBuilder toDottyNodes()
           
protected  void writeArcAttributes(StringBuilder b, int i, int j)
           
 
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, writeAttributes, writeEdge, writeEdgeAttributes
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

model

public final Model model
Constructor Detail

DisjunctiveModel

public DisjunctiveModel(Model model)
Method Detail

getModel

public final Model getModel()

setupTime

public final int setupTime(TaskVariable i,
                           TaskVariable j)

containsArc

public final boolean containsArc(TaskVariable i,
                                 TaskVariable j)

containsEdge

public final boolean containsEdge(TaskVariable i,
                                  TaskVariable j)

containsRelation

public final boolean containsRelation(TaskVariable i,
                                      TaskVariable j)

safeAddArc

public final void safeAddArc(TaskVariable i,
                             TaskVariable j)

safeAddArc

public boolean safeAddArc(TemporalConstraint c)
Returns:
deleteC

safeAddEdge

public final choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveModel.AddEdgeStatus safeAddEdge(TemporalConstraint c)

writeArcAttributes

protected void writeArcAttributes(StringBuilder b,
                                  int i,
                                  int j)
Overrides:
writeArcAttributes in class DisjunctiveGraph<TemporalConstraint>

toDottyNodes

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


Copyright © 2012. All Rights Reserved.