Thorin 1.9.0
The Higher ORder INtermediate representation
|
#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 * > | get_reachable_states () const |
Definition at line 20 of file automaton.h.
|
default |
|
delete |
|
inline |
Definition at line 26 of file automaton.h.
|
inline |
Definition at line 35 of file automaton.h.
References automaton::AutomatonBase< NodeType >::get_start().
Referenced by dfa2matcher(), and automaton::minimize_dfa().
|
inline |
Definition at line 33 of file automaton.h.
Referenced by automaton::AutomatonBase< NodeType >::get_reachable_states(), automaton::minimize_dfa(), and automaton::nfa2dfa().
|
delete |
|
inline |
Definition at line 31 of file automaton.h.