libFAUDES

Sections

Index

syn_supnorm.cpp File Reference

Supremal normal sublanguage. More...

#include "syn_supnorm.h"

Go to the source code of this file.

Namespaces

namespace  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.
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.
bool faudes::IsNormalAlt (const Generator &rL, const EventSet &rOAlph, const Generator &rK)
 IsNormalAlt: Alternative implementation of IsNormal().
bool faudes::IsNormal (const cGenerator &rPlantGen, const vGenerator &rSupCandGen)
 IsNormal wrapper.
void faudes::ConcatenateFullLanguage (vGenerator &rGen)
 ConcatenateFullLanguage: concatenate Sigma* to language marked by rGen.
bool faudes::SupNorm (Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
 SupNorm: compute supremal normal sublanguage.
bool faudes::SupNormClosed (Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
 SupNormClosed - compute supremal normal and closed sublanguage.
bool faudes::SupPrefixClosed (const Generator &rK, Generator &rResult)
 SupPrefixClosed: supremal closed sublanguage of K by cancelling all tranistions leading to a non-marked state.
bool faudes::SupNormAlt (Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult)
 SupNormAlt: Alternative implementation of SupNorm().
void faudes::SupNorm (const vGenerator &rPlantGen, const EventSet &rOAlph, const vGenerator &rSpecGen, vGenerator &rResGen)
 rti wrapper
void faudes::SupNorm (const cGenerator &rPlantGen, const vGenerator &rSpecGen, vGenerator &rResGen)
 rti wrapper
void faudes::SupNormClosed (const vGenerator &rPlantGen, const EventSet &rOAlph, const vGenerator &rSpecGen, vGenerator &rResGen)
 rti wrapper
void faudes::SupNormClosed (const cGenerator &rPlantGen, const vGenerator &rSpecGen, vGenerator &rResGen)
 rti wrapper

Detailed Description

Supremal normal sublanguage.

Definition in file syn_supnorm.cpp.

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3