syn_supnorm.cpp File Reference

#include "syn_supnorm.h"
#include "syn_supcon.h"

Go to the source code of this file.

Classes
class	faudes::SNOState

Namespaces
	faudes

Functions
void	faudes::NormalityConsistencyCheck (const Generator &rL, const EventSet &rOAlph, const Generator &rK)
bool	faudes::IsNormal (const Generator &rL, const EventSet &rOAlph, const Generator &rK)
bool	faudes::IsNormal (const System &rPlantGen, const Generator &rSupCandGen)
void	faudes::ConcatenateFullLanguage (Generator &rGen)
bool	faudes::SupNorm (const Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
bool	faudes::SupNormClosed (const Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
void	faudes::SupConNormClosed (const Generator &rL, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
void	faudes::SupConNormNB (const Generator &rL, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
bool	faudes::SupPrefixClosed (const Generator &rK, Generator &rResult)
void	faudes::SupConNormClosedUnchecked (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rOAlph, Generator &rObserverGen, Generator &rSupCandGen)
void	faudes::SupNorm (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
void	faudes::SupNormClosed (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
void	faudes::SupConNormClosed (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
void	faudes::SupConNormNB (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)

Detailed Description

Supremal normal sublanguage

Definition in file syn_supnorm.cpp.