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);
libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |