pd_lang_k.h File Reference

Test class to derive strings from pushdown automata. More...

#include "corefaudes.h"
#include "pd_include.h"

Go to the source code of this file.

Classes

class  faudes::LangK
 This class is used to find all words that can be found when traversing a maximum of k transitions of a given generator. More...

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

Detailed Description

Test class to derive strings from pushdown automata.

Definition in file pd_lang_k.h.

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen