|
libgsjj
1
Deterministic finite automata learning library
|
#include <set>#include <string>#include <memory>#include <chrono>#include <atomic>#include "gsjj/DFA.h"

Go to the source code of this file.
Classes | |
| class | gsjj::passive::Method |
| The base class of all passive methods. More... | |
Namespaces | |
| gsjj | |
| The namespace of the library. | |
| gsjj::passive | |
| Defines the passive methods for automatically learning deterministic finite automata. | |
Variables | |
| const std::array< const std::string, 8 > | gsjj::passive::allMethods |
| An array with every possible method choice. More... | |
1.8.13