|
| bool | faudes::IsIoSystem (const IoSystem &rIoSystem, StateSet &rQU, StateSet &rQY, StateSet &rQErr) |
| | Test whether the system satisfies basic I/O conditions. More...
|
| |
| bool | faudes::IsIoSystem (IoSystem &rIoSystem) |
| | Test whether the system satisfies the IO conditions. More...
|
| |
| void | faudes::IoStatePartition (IoSystem &rIoSystem) |
| | Construct io state partition. More...
|
| |
| bool | faudes::IsInputLocallyFree (IoSystem &rIoSystem) |
| | Test whether the system has a locally free input. More...
|
| |
| bool | faudes::IsInputLocallyFree (const IoSystem &rIoSystem, StateSet &rQErr) |
| | Test whether the system has a locally free input. More...
|
| |
| bool | faudes::IsInputOmegaFree (IoSystem &rIoSystem) |
| | Test whether the system behaviour has exhibits a free input. More...
|
| |
| bool | faudes::IsInputOmegaFree (const IoSystem &rIoSystem, StateSet &rQErr) |
| | Test whether the system behaviour exhibits a free input. More...
|
| |
| void | faudes::IoFreeInput (IoSystem &rIoSystem) |
| | Enable all input events for each input state. More...
|
| |
| void | faudes::IoFreeInput (Generator &rIoSystem, const EventSet &rUAlph) |
| | Enable all input events for each input state. More...
|
| |
| void | faudes::RemoveIoDummyStates (IoSystem &rIoSystem) |
| | Remove dummy states. More...
|
| |
| void | faudes::IoSynthesisNB (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup) |
| | IO system synthesis. More...
|
| |
| void | faudes::IoSynthesis (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup) |
| | IO system synthesis. More...
|
| |