|
|
||||||
|
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);
421 extern FAUDES_API void LanguageComplement(const Generator& rGen, const EventSet& rSigma, Generator& rRes);
499 extern FAUDES_API void LanguageConcatenateNonDet(const Generator& rGen1, const Generator& rGen2,
595 * Construct generator generating and marking an alphabet as languages, that is L(G)=Lm(G)=Sigma.
597 * event from rAlphabet, a transition is inserted leading from the init state to the marked state.
622 * Method: this function creates a generator with one marked init state and the alphabet rAlphabet.
647 * Method: this function creates a deterministic generator with one initial state that is not marked.
1001 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:699 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:574 void SelfLoop(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:1018 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:830 void LanguageUnionNonDet(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:45 void Automaton(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:339 void AlphabetLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:733 void LanguageConcatenate(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:678 bool LanguageEquality(const Generator &rGen1, const Generator &rGen2) Definition: cfl_regular.cpp:844 void LanguageDifference(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:522 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:804 void LanguageComplement(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:477 void EmptyStringLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:775 void SelfLoopMarkedStates(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:1045 Definition: cfl_agenerator.h:43 bool IsNonblocking(const GeneratorVector &rGvec) Definition: cfl_conflequiv.cpp:705 libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen |