Uses of Package org.processmining.specpp.datastructures.transitionSystems (SPECpp)

Packages that use org.processmining.specpp.datastructures.transitionSystems
Package	Description
org.processmining.specpp.datastructures.transitionSystems

Classes in org.processmining.specpp.datastructures.transitionSystems used by org.processmining.specpp.datastructures.transitionSystems
Class	Description
PAState	Represents a state of the Prefix Automaton.
PATransition	Represents a transition of the prefix automaton

Uses of Packageorg.processmining.specpp.datastructures.transitionSystems