ios_algorithms.h File Reference
Algorithms addressing I/O-systems.
More...
#include "ios_system.h"
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
bool | faudes::IsIoSystem (const IoSystem &rIoSystem, StateSet &rQU, StateSet &rQY, StateSet &rQErr) |
| Test whether the system satisfies basic I/O conditions.
|
bool | faudes::IsIoSystem (IoSystem &rIoSystem) |
| Test whether the system satisfies the IO conditions.
|
void | faudes::IoStatePartition (IoSystem &rIoSystem) |
| Construct io state partition.
|
bool | faudes::IsInputLocallyFree (const IoSystem &rIoSystem, StateSet &rQErr) |
| Test whether the system has a locally free input.
|
bool | faudes::IsInputLocallyFree (IoSystem &rIoSystem) |
| Test whether the system has a locally free input.
|
void | faudes::IoFreeInput (Generator &rIoSystem, const EventSet &rUAlph) |
| Enable all input events for each input state.
|
void | faudes::IoFreeInput (IoSystem &rIoSystem) |
| Enable all input events for each input state.
|
void | faudes::RemoveIoDummyStates (IoSystem &rIoSystem) |
| Remove dummy states.
|
bool | faudes::IsInputOmegaFree (const IoSystem &rIoSystem, StateSet &rQErr) |
| Test whether the system behaviour exhibits a free input.
|
bool | faudes::IsInputOmegaFree (IoSystem &rIoSystem) |
| Test whether the system behaviour has exhibits a free input.
|
void | faudes::IoSynthesis (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup) |
| IO system synthesis.
|
void | faudes::IoSynthesisNB (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup) |
| IO system synthesis.
|
Detailed Description
Algorithms addressing I/O-systems.
Definition in file ios_algorithms.h.