| Class | Description |
|---|---|
| FMA |
Extends the FSA by including a function rho for each state and a set of registers.
|
| FMAContinuation |
Extends the Continuation by adding the register
|
| FMASimulator |
Extends Simulator by adding the registers and change the condition of validity of transitions, and override various methods.
|