Uses of Class org.processmining.specpp.datastructures.transitionSystems.PATransition (SPECpp)

Packages that use PATransition
Package Description

org.processmining.specpp.datastructures.transitionSystems

Uses of PATransition in org.processmining.specpp.datastructures.transitionSystems

Methods in org.processmining.specpp.datastructures.transitionSystems that return PATransition
Modifier and Type	Method	Description
`PATransition`	PAState.`getTrans(Activity a)`	Returns transition with activity a.

Methods in org.processmining.specpp.datastructures.transitionSystems that return types with arguments of type PATransition
Modifier and Type	Method	Description
`java.util.LinkedList<PATransition>`	PAState.`getOutgoingTrans()`	Returns list of outgoing Transitions.

Methods in org.processmining.specpp.datastructures.transitionSystems with parameters of type PATransition
Modifier and Type	Method	Description
`void`	PAState.`addOutgoingTrans(PATransition t)`	Adds an outgoing transition to the state.

Constructor parameters in org.processmining.specpp.datastructures.transitionSystems with type arguments of type PATransition
Constructor	Description
`PAState(java.util.LinkedList<PATransition> outgoingTrans)`	Create a new prefix automaton state.