Package | Description |
---|---|
org.processmining.plugins.multietc.automaton |
Modifier and Type | Class and Description |
---|---|
class |
AutomatonNodeNoOrder |
class |
AutomatonNodeOrder |
Modifier and Type | Method and Description |
---|---|
AutomatonNode |
AutomatonFactory.createNode(java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> past,
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> future)
Create a automaton node according with the settings of the factory.
|
AutomatonNode |
AutomatonEdge.getSource() |
AutomatonNode |
AutomatonEdge.getTarget() |
Modifier and Type | Method and Description |
---|---|
edu.uci.ics.jung.graph.Graph<AutomatonNode,AutomatonEdge> |
Automaton.getJUNG()
Return a JUNG Library Graph representation of the automaton.
|
Constructor and Description |
---|
AutomatonEdge(AutomatonNode s,
AutomatonNode t,
org.processmining.models.graphbased.directed.petrinet.elements.Transition trans) |