ios_algorithms.h File Reference

Algorithms addressing I/O-systems. More...

#include "ios_system.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 (const IoSystem &rIoSystem, StateSet &rQErr)
	Test whether the system has a locally free input. More...
bool	faudes::IsInputLocallyFree (IoSystem &rIoSystem)
	Test whether the system has a locally free input. More...
void	faudes::IoFreeInput (Generator &rIoSystem, const EventSet &rUAlph)
	Enable all input events for each input state. More...
void	faudes::IoFreeInput (IoSystem &rIoSystem)
	Enable all input events for each input state. More...
void	faudes::RemoveIoDummyStates (IoSystem &rIoSystem)
	Remove dummy states. More...
bool	faudes::IsInputOmegaFree (const IoSystem &rIoSystem, StateSet &rQErr)
	Test whether the system behaviour exhibits a free input. More...
bool	faudes::IsInputOmegaFree (IoSystem &rIoSystem)
	Test whether the system behaviour has exhibits a free input. More...
void	faudes::IoSynthesis (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup)
	IO system synthesis. More...
void	faudes::IoSynthesisNB (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup)
	IO system synthesis. More...

Detailed Description

Algorithms addressing I/O-systems.

Definition in file ios_algorithms.h.