ios_algorithms.cpp File Reference
#include "ios_algorithms.h"
#include "syn_wsupcon.h"

Go to the source code of this file.

Namespaces

 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. 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...
 

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen