Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
void | faudes::ConcatenateFullLanguage (vGenerator &rGen) |
| ConcatenateFullLanguage: concatenate Sigma* to language marked by rGen.
|
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.
|
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
|
Supremal normal sublanguage.