|
|
||||||
|
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);
439 extern FAUDES_API void LanguageComplement(const Generator& rGen, const EventSet& rSigma, Generator& rRes);
517 extern FAUDES_API void LanguageConcatenateNonDet(const Generator& rGen1, const Generator& rGen2,
613 * Construct generator generating and marking an alphabet as languages, that is L(G)=Lm(G)=Sigma.
615 * event from rAlphabet, a transition is inserted leading from the init state to the marked state.
640 * Method: this function creates a generator with one marked init state and the alphabet rAlphabet.
665 * Method: this function creates a deterministic generator with one initial state that is not marked.
1019 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:706 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:581 void SelfLoop(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:1025 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:837 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:740 void LanguageConcatenate(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:685 bool LanguageEquality(const Generator &rGen1, const Generator &rGen2) Definition: cfl_regular.cpp:851 void LanguageDifference(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_regular.cpp:529 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:811 void LanguageComplement(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:484 void EmptyStringLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:782 void SelfLoopMarkedStates(Generator &rGen, const EventSet &rAlphabet) Definition: cfl_regular.cpp:1052 Definition: cfl_agenerator.h:43 bool IsNonblocking(const GeneratorVector &rGvec) Definition: cfl_conflequiv.cpp:705 libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |