syn_supnorm.cpp File Reference

Supremal normal sublanguage. More...

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

Go to the source code of this file.

Classes

class  faudes::SNOState
 

Namespaces

 faudes
 libFAUDES resides within the namespace faudes.
 

Functions

void faudes::NormalityConsistencyCheck (const Generator &rL, const EventSet &rOAlph, const Generator &rK)
 NormalityConsistencyCheck: Consistency check for normality input data. More...
 
bool faudes::IsNormal (const Generator &rL, const EventSet &rOAlph, const Generator &rK)
 IsNormal: checks normality of a language K generated by rK wrt a language L generated by rL and the subset of observable events rOAlph. More...
 
bool faudes::IsNormal (const System &rPlantGen, const Generator &rSupCandGen)
 IsNormal wrapper. More...
 
void faudes::ConcatenateFullLanguage (Generator &rGen)
 ConcatenateFullLanguage: concatenate Sigma* to language marked by rGen. More...
 
bool faudes::SupNorm (const Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
 SupNorm: compute supremal normal sublanguage. More...
 
bool faudes::SupNormClosed (const Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
 SupNormClosed - compute supremal normal and closed sublanguage. More...
 
void faudes::SupConNormClosed (const Generator &rL, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
 SupConNormClosed: compute supremal controllable, normal and closed sublanguage. More...
 
void faudes::SupConNormNB (const Generator &rL, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
 SupConNormNB: compute supremal controllable and normal sublanguage. More...
 
bool faudes::SupPrefixClosed (const Generator &rK, Generator &rResult)
 SupPrefixClosed: supremal closed sublanguage of K by cancelling all tranistions leading to a non-marked state. More...
 
void faudes::SupConNormClosedUnchecked (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rOAlph, Generator &rObserverGen, Generator &rSupCandGen)
 Supremal Normal Controllable Sublangauge (internal function) More...
 
void faudes::SupNorm (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
 rti wrapper More...
 
void faudes::SupNormClosed (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
 rti wrapper More...
 
void faudes::SupConNormClosed (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
 rti wrapper More...
 
void faudes::SupConNormNB (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
 rti wrapper More...
 

Detailed Description

Supremal normal sublanguage.

Definition in file syn_supnorm.cpp.

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