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

Packages that use PAState
Package Description

org.processmining.specpp.datastructures.transitionSystems

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

Methods in org.processmining.specpp.datastructures.transitionSystems that return PAState
Modifier and Type	Method	Description
`PAState`	PrefixAutomaton.`getInitial()`	Returns the initial state of the prefix automaton.
`PAState`	PATransition.`getPointer()`	Returns the pointer to the state the transition is pointing to.

Methods in org.processmining.specpp.datastructures.transitionSystems with parameters of type PAState
Modifier and Type	Method	Description
`void`	PATransition.`setPointer(PAState p)`	Sets the pointer to the state the transition is pointing to.

Constructors in org.processmining.specpp.datastructures.transitionSystems with parameters of type PAState
Constructor	Description
`PrefixAutomaton(PAState initial)`	Creates a new Prefix Automaton with a given initial state.