#include <automaton/automaton.h>
Public Member Functions | |
| AutomatonBase ()=default | |
| AutomatonBase (const AutomatonBase &)=delete | |
| AutomatonBase & | operator= (const AutomatonBase &)=delete |
| NodeType * | add_state () |
| void | set_start (const NodeType *start) |
| const NodeType * | get_start () const |
| std::set< const NodeType *, typename NodeType::Lt > | get_reachable_states () const |
| Ordered by NodeType::Lt (i.e. by id) so that iteration is deterministic. | |
Friends | |
| std::ostream & | operator<< (std::ostream &os, const AutomatonBase &automaton) |
Definition at line 18 of file automaton.h.
|
default |
Referenced by AutomatonBase(), operator<<, and operator=().
|
delete |
References AutomatonBase().
|
inline |
Definition at line 24 of file automaton.h.
|
inline |
Ordered by NodeType::Lt (i.e. by id) so that iteration is deterministic.
Definition at line 34 of file automaton.h.
References get_start().
Referenced by dfa2matcher(), and automaton::minimize_dfa().
|
inline |
Definition at line 31 of file automaton.h.
Referenced by dfa2matcher(), get_reachable_states(), automaton::minimize_dfa(), and automaton::nfa2dfa().
|
delete |
References AutomatonBase().
|
inline |
Definition at line 29 of file automaton.h.
|
friend |
Definition at line 49 of file automaton.h.
References AutomatonBase().