cfl_regular.h
Go to the documentation of this file.
97 * ToDo: a version similar to parallel composition that produces a deterministic result by construction. (?)
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.
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |