choco.cp.common.util.preprocessor.detector.scheduling
Class DisjunctiveSModel
java.lang.Object
choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveGraph<ITemporalSRelation>
choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveSModel
- All Implemented Interfaces:
- IDotty
public class DisjunctiveSModel
- extends DisjunctiveGraph<ITemporalSRelation>
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, writeArcAttributes, writeAttributes, writeEdge, writeEdgeAttributes |
solver
public final Solver solver
DisjunctiveSModel
public DisjunctiveSModel(PreProcessCPSolver solver)
DisjunctiveSModel
public DisjunctiveSModel(Solver solver,
DisjunctiveModel dmod)
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.