Package org.processmining.precision.models

Class EscapingEdgesPrecisionAutomaton

java.lang.Object

org.processmining.precision.models.EscapingEdgesPrecisionAutomaton

public class EscapingEdgesPrecisionAutomaton
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
EscapingEdgesPrecisionAutomaton()
EscapingEdgesPrecisionAutomaton(java.util.List<EscapingEdgesPrecisionState> states)

Method Summary

Modifier and Type	Method	Description
boolean	addEdge(EscapingEdgesPrecisionState source, EscapingEdgesPrecisionState destination, java.lang.String action)
boolean	addState(EscapingEdgesPrecisionState state, boolean overwritingExisting)
boolean	containsEdge(EscapingEdgesPrecisionEdge edge)
boolean	containsState(EscapingEdgesPrecisionState state)
java.util.Set<EscapingEdgesPrecisionEdge>	getEdges()
EscapingEdgesPrecisionState	getRoot()
EscapingEdgesPrecisionState	getState(java.lang.String prefixString)
java.util.Set<java.lang.String>	getStateKeys()
java.util.Set<EscapingEdgesPrecisionState>	getStates()
EscapingEdgesPrecisionEdge	removeEdge(EscapingEdgesPrecisionEdge edge)
EscapingEdgesPrecisionState	removeState(java.lang.String prefixString)
void	setRoot(EscapingEdgesPrecisionState state)

Methods inherited from class java.lang.Object

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

Constructor Detail

EscapingEdgesPrecisionAutomaton

public EscapingEdgesPrecisionAutomaton(java.util.List<EscapingEdgesPrecisionState> states)

EscapingEdgesPrecisionAutomaton

public EscapingEdgesPrecisionAutomaton()

Method Detail

setRoot

public void setRoot(EscapingEdgesPrecisionState state)

getRoot

public EscapingEdgesPrecisionState getRoot()

addEdge

public boolean addEdge(EscapingEdgesPrecisionState source,
                       EscapingEdgesPrecisionState destination,
                       java.lang.String action)

containsEdge

public boolean containsEdge(EscapingEdgesPrecisionEdge edge)

removeEdge

public EscapingEdgesPrecisionEdge removeEdge(EscapingEdgesPrecisionEdge edge)

containsState

public boolean containsState(EscapingEdgesPrecisionState state)

getState

public EscapingEdgesPrecisionState getState(java.lang.String prefixString)

addState

public boolean addState(EscapingEdgesPrecisionState state,
                        boolean overwritingExisting)

removeState

public EscapingEdgesPrecisionState removeState(java.lang.String prefixString)

getStateKeys

public java.util.Set<java.lang.String> getStateKeys()

getStates

public java.util.Set<EscapingEdgesPrecisionState> getStates()

getEdges

public java.util.Set<EscapingEdgesPrecisionEdge> getEdges()