ios_algorithms.cpp File Reference

#include "ios_algorithms.h"
#include "syn_wsupcon.h"

Go to the source code of this file.

Namespaces
	faudes

Functions
bool	faudes::IsIoSystem (const IoSystem &rIoSystem, StateSet &rQU, StateSet &rQY, StateSet &rQErr)
bool	faudes::IsIoSystem (IoSystem &rIoSystem)
void	faudes::IoStatePartition (IoSystem &rIoSystem)
bool	faudes::IsInputLocallyFree (IoSystem &rIoSystem)
bool	faudes::IsInputLocallyFree (const IoSystem &rIoSystem, StateSet &rQErr)
bool	faudes::IsInputOmegaFree (IoSystem &rIoSystem)
bool	faudes::IsInputOmegaFree (const IoSystem &rIoSystem, StateSet &rQErr)
void	faudes::IoFreeInput (IoSystem &rIoSystem)
void	faudes::IoFreeInput (Generator &rGen, const EventSet &rUAlph)
void	faudes::RemoveIoDummyStates (IoSystem &rIoSystem)
void	faudes::IoSynthesisNB (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup)
void	faudes::IoSynthesis (const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup)