|
|
||||||
|
cfl_regular.h
Go to the documentation of this file.
98 * ToDo: a version similar to parallel composition that produces a deterministic result by construction. (?)
201 extern FAUDES_API void LanguageIntersection(const GeneratorVector& rGenVec, Generator& rResGen);
224 extern FAUDES_API bool EmptyLanguageIntersection(const Generator& rGen1, const Generator& rGen2);
420 extern FAUDES_API void LanguageComplement(const Generator& rGen, const EventSet& rSigma, Generator& rRes);
498 extern FAUDES_API void LanguageConcatenateNonDet(const Generator& rGen1, const Generator& rGen2,
594 * Construct generator generating and marking an alphabet as languages, that is L(G)=Lm(G)=Sigma.
596 * event from rAlphabet, a transition is inserted leading from the init state to the marked state.
621 * Method: this function creates a generator with one marked init state and the alphabet rAlphabet.
646 * Method: this function creates a deterministic generator with one initial state that is not marked.
1000 extern FAUDES_API void SelfLoop(Generator& rGen,const EventSet& rAlphabet,const StateSet& rStates);
bool EmptyLanguageIntersection(const Generator &rGen1, const Generator &rGen2) Definition: cfl_regular.cpp:227 void FullLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:715 void LanguageUnion(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:127 void LanguageConcatenateNonDet(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:590 void SelfLoop(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:1034 Idx Automaton(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:339 bool LanguageDisjoint(const Generator &rGen1, const Generator &rGen2) Definition: cfl_regular.cpp:332 bool LanguageInclusion(const Generator &rGen1, const Generator &rGen2) Definition: cfl_regular.cpp:846 void LanguageUnionNonDet(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:45 void AlphabetLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:749 void LanguageConcatenate(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:694 bool LanguageEquality(const Generator &rGen1, const Generator &rGen2) Definition: cfl_regular.cpp:860 void LanguageDifference(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:538 void LanguageIntersection(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:188 void EmptyLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:820 void LanguageComplement(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:492 void EmptyStringLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:791 void SelfLoopMarkedStates(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:1061 Definition: cfl_agenerator.h:43 bool IsNonblocking(const GeneratorVector &rGvec) Definition: cfl_conflequiv.cpp:705 libFAUDES 2.33l --- 2025.09.16 --- c++ api documentaion by doxygen |