Data stored for a DFA.
More...
#include <dfa.hpp>
Data stored for a DFA.
Definition at line 46 of file dfa.hpp.
Gecode::DFA::DFAI::DFAI |
( |
int |
nt | ) |
|
|
inline |
Initialize automaton implementation with nt transitions.
Definition at line 86 of file dfa.hpp.
Gecode::DFA::DFAI::DFAI |
( |
void |
| ) |
|
Initialize automaton implementation as empty.
Gecode::DFA::DFAI::~DFAI |
( |
void |
| ) |
|
|
inlinevirtual |
Delete automaton implemenentation.
Definition at line 90 of file dfa.hpp.
void Gecode::DFA::DFAI::fill |
( |
void |
| ) |
|
Fill hash table.
Definition at line 503 of file dfa.cpp.
int Gecode::DFA::DFAI::n_states |
Number of states.
Definition at line 49 of file dfa.hpp.
unsigned int Gecode::DFA::DFAI::n_symbols |
Number of symbols.
Definition at line 51 of file dfa.hpp.
int Gecode::DFA::DFAI::n_trans |
Number of transitions.
Definition at line 53 of file dfa.hpp.
unsigned int Gecode::DFA::DFAI::max_degree |
Maximal degree (in-degree and out-degree of any state) and maximal number of transitions per symbol.
Definition at line 55 of file dfa.hpp.
int Gecode::DFA::DFAI::final_fst |
First final state.
Definition at line 57 of file dfa.hpp.
int Gecode::DFA::DFAI::final_lst |
Last final state.
Definition at line 59 of file dfa.hpp.
The transitions.
Definition at line 61 of file dfa.hpp.
The transition hash table by symbol.
Definition at line 70 of file dfa.hpp.
int Gecode::DFA::DFAI::n_log |
Size of table (as binary logarithm)
Definition at line 72 of file dfa.hpp.
The documentation for this class was generated from the following files: