Package org.processmining.models.graphbased.directed.transitionsystem

Class TransitionSystemImpl

    • Field Summary

      • Fields inherited from class org.processmining.models.graphbased.AbstractGraph

        id

    • Constructor Summary

      Constructors 
      Constructor Description
      TransitionSystemImpl​(java.lang.String label)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addProxyMap​(TransitionSystemImpl ts)  
      boolean addState​(java.lang.Object identifier)
      Node/State Handling
      boolean addTransition​(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
      Edge/Transition Handling
      protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,​org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom​(org.processmining.models.graphbased.directed.DirectedGraph<State,​Transition> graph)
      The returned mapping satisfies: map.keySet().containsAll(graph.getNodes()) and map.keySet().containsAll(graph.getEdges())
      Transition findTransition​(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)  
      java.util.Set<Transition> getEdges()  
      java.util.Collection<Transition> getEdges​(java.lang.Object identifier)  
      protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,​Transition> getEmptyClone()  
      State getNode​(java.lang.Object identifier)  
      java.util.Set<State> getNodes()  
      java.util.Collection<?> getStates()  
      java.util.Collection<java.lang.Object> getTransitionObjects()  
      java.util.Collection<java.lang.Object> getTransitions()  
      void putProxy​(java.lang.Object obj, java.lang.Object proxy)
      Proxy?
      void removeEdge​(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
      Removes the given edge from the graph.
      void removeNode​(org.processmining.models.graphbased.directed.DirectedGraphNode node)  
      java.lang.Object removeState​(java.lang.Object state)  
      java.lang.Object removeTransition​(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)  

      • Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraph

        checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges

      • Methods inherited from class org.processmining.models.graphbased.AbstractGraph

        equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection

      • Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement

        getAttributeMap, getLabel, toString

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner

        getAttributeMap

      • Methods inherited from interface java.lang.Comparable

        compareTo

      • Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraph

        getInEdges, getOutEdges

      • Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphElement

        equals, getGraph, hashCode

    • Constructor Detail

      • TransitionSystemImpl

        public TransitionSystemImpl​(java.lang.String label)

    • Method Detail

      • cloneFrom

        protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,​org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom​(org.processmining.models.graphbased.directed.DirectedGraph<State,​Transition> graph)
        Description copied from class: org.processmining.models.graphbased.directed.AbstractDirectedGraph
        The returned mapping satisfies: map.keySet().containsAll(graph.getNodes()) and map.keySet().containsAll(graph.getEdges())
        Specified by:
        cloneFrom in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,​Transition>
        Returns:

      • getEmptyClone

        protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,​Transition> getEmptyClone()
        Specified by:
        getEmptyClone in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,​Transition>

      • addState

        public boolean addState​(java.lang.Object identifier)
        Node/State Handling
        Specified by:
        addState in interface TransitionSystem

      • removeNode

        public void removeNode​(org.processmining.models.graphbased.directed.DirectedGraphNode node)
        Specified by:
        removeNode in interface org.processmining.models.graphbased.directed.DirectedGraph<State,​Transition>

      • getNodes

        public java.util.Set<State> getNodes()
        Specified by:
        getNodes in interface org.processmining.models.graphbased.directed.DirectedGraph<State,​Transition>

      • removeState

        public java.lang.Object removeState​(java.lang.Object state)
        Specified by:
        removeState in interface TransitionSystem

      • addTransition

        public boolean addTransition​(java.lang.Object fromState,
                             java.lang.Object toState,
                             java.lang.Object identifier)
        Edge/Transition Handling
        Specified by:
        addTransition in interface TransitionSystem

      • removeTransition

        public java.lang.Object removeTransition​(java.lang.Object fromState,
                                         java.lang.Object toState,
                                         java.lang.Object identifier)
        Specified by:
        removeTransition in interface TransitionSystem

      • removeEdge

        public void removeEdge​(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
        Description copied from interface: org.processmining.models.graphbased.directed.DirectedGraph
        Removes the given edge from the graph.
        Specified by:
        removeEdge in interface org.processmining.models.graphbased.directed.DirectedGraph<State,​Transition>
        Specified by:
        removeEdge in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,​Transition>

      • getTransitionObjects

        public java.util.Collection<java.lang.Object> getTransitionObjects()

      • getEdges

        public java.util.Set<Transition> getEdges()
        Specified by:
        getEdges in interface org.processmining.models.graphbased.directed.DirectedGraph<State,​Transition>

      • findTransition

        public Transition findTransition​(java.lang.Object fromState,
                                 java.lang.Object toState,
                                 java.lang.Object identifier)
        Specified by:
        findTransition in interface TransitionSystem

      • putProxy

        public void putProxy​(java.lang.Object obj,
                     java.lang.Object proxy)
        Proxy?