choco.cp.common.util.preprocessor.detector.scheduling
Class DisjunctiveModel
java.lang.Object
choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveGraph<TemporalConstraint>
choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveModel
- All Implemented Interfaces:
- IDotty
public class DisjunctiveModel
- extends DisjunctiveGraph<TemporalConstraint>
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 |
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 |
model
public final Model model
DisjunctiveModel
public DisjunctiveModel(Model model)
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.