Package org.processmining.partialorder.zexperiment

Class DirectlyPrecededGraph

  • All Implemented Interfaces:
    edu.uci.ics.jung.graph.DirectedGraph<java.lang.String,​Dependency<java.lang.String>>, edu.uci.ics.jung.graph.Graph<java.lang.String,​Dependency<java.lang.String>>, edu.uci.ics.jung.graph.Hypergraph<java.lang.String,​Dependency<java.lang.String>>, java.io.Serializable
    public class DirectlyPrecededGraph
extends edu.uci.ics.jung.graph.DirectedSparseGraph<java.lang.String,​Dependency<java.lang.String>>
    See Also:
    Serialized Form

    • Field Summary

      • Fields inherited from class edu.uci.ics.jung.graph.DirectedSparseGraph

        edges, vertices

      • Fields inherited from class edu.uci.ics.jung.graph.AbstractTypedGraph

        edge_type

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addChoiceDepedencies​(java.util.Set<Dependency<java.lang.String>> xorDepedencies)  
      void deactivateAllTransitions()  
      java.util.Set<Dependency<java.lang.String>> getActivatedDirPrecedings()  
      java.util.Set<Dependency<java.lang.String>> getChoiceDependencySet​(Dependency<java.lang.String> e)  
      java.lang.String getContainedLabel​(PONodeMove move)  
      boolean isActivated​(java.lang.String transitionLabel)  

      • Methods inherited from class edu.uci.ics.jung.graph.DirectedSparseGraph

        addEdge, addVertex, containsEdge, containsVertex, findEdge, findEdgeSet, getDest, getEdgeCount, getEdges, getEndpoints, getFactory, getIncidentEdges, getIncoming_internal, getInEdges, getNeighbors, getOutEdges, getOutgoing_internal, getPredecessors, getPreds_internal, getSource, getSuccessors, getSuccs_internal, getVertexCount, getVertices, isDest, isSource, removeEdge, removeVertex

      • Methods inherited from class edu.uci.ics.jung.graph.AbstractTypedGraph

        getDefaultEdgeType, getEdgeCount, getEdges, getEdgeType, hasEqualEdgeType, validateEdgeType

      • Methods inherited from class edu.uci.ics.jung.graph.AbstractGraph

        addEdge, addEdge, addEdge, addEdge, addEdge, degree, getIncidentCount, getIncidentVertices, getNeighborCount, getOpposite, getPredecessorCount, getSuccessorCount, getValidatedEndpoints, inDegree, isIncident, isNeighbor, isPredecessor, isSuccessor, outDegree, toString

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface edu.uci.ics.jung.graph.Graph

        addEdge, addEdge, getOpposite, getPredecessorCount, getSuccessorCount, inDegree, isPredecessor, isSuccessor, outDegree

      • Methods inherited from interface edu.uci.ics.jung.graph.Hypergraph

        addEdge, addEdge, degree, getDefaultEdgeType, getEdgeCount, getEdges, getEdgeType, getIncidentCount, getIncidentVertices, getNeighborCount, isIncident, isNeighbor

    • Constructor Detail

      • DirectlyPrecededGraph

        public DirectlyPrecededGraph()

    • Method Detail

      • deactivateAllTransitions

        public void deactivateAllTransitions()

      • getContainedLabel

        public java.lang.String getContainedLabel​(PONodeMove move)

      • isActivated

        public boolean isActivated​(java.lang.String transitionLabel)
                    throws java.lang.Exception
        Throws:
        java.lang.Exception

      • getActivatedDirPrecedings

        public java.util.Set<Dependency<java.lang.String>> getActivatedDirPrecedings()

      • addChoiceDepedencies

        public void addChoiceDepedencies​(java.util.Set<Dependency<java.lang.String>> xorDepedencies)

      • getChoiceDependencySet

        public java.util.Set<Dependency<java.lang.String>> getChoiceDependencySet​(Dependency<java.lang.String> e)