libgsjj  1
Deterministic finite automata learning library
Classes | Namespaces | Variables
Method.h File Reference
#include <set>
#include <string>
#include <memory>
#include <chrono>
#include <atomic>
#include "gsjj/DFA.h"
Include dependency graph for Method.h:
This graph shows which files directly or indirectly include this file:

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...