A C D E F G H I L M O P R S T V

P

parallel(FiniteStateMachine) - Method in class core.FiniteStateMachine
Constructs a FiniteStateMachine that is the asynchronous composition of the two FSMs.
parseFSM(Reader) - Static method in class parser.FSMParser
 
parser - package parser
 
partialOrderReduction(FiniteStateMachine, FiniteStateMachine...) - Static method in class core.FiniteStateMachine
The partial order reduction constructs a reduced state graph of the parallel composition of all FSMs given in the array "fsm".
power() - Method in class core.FiniteStateMachine
Returns the power-fsm of the finite state machine.
product(FiniteStateMachine) - Method in class core.FiniteStateMachine
Creates a product machine which accepts as a language the intersection of the two languages of the given finite state machines.

A C D E F G H I L M O P R S T V