Data stored for a DFA. More...
#include <dfa.hpp>
Classes | |
class | HashEntry |
Specification of transition range. More... | |
Public Member Functions | |
void | fill (void) |
Fill hash table. | |
DFAI (int nt) | |
Initialize automaton implementation with nt transitions. | |
DFAI (void) | |
Initialize automaton implementation as empty. | |
virtual | ~DFAI (void) |
Delete automaton implemenentation. | |
virtual SharedHandle::Object * | copy (void) const |
Create a copy. | |
Public Attributes | |
int | n_states |
Number of states. | |
unsigned int | n_symbols |
Number of symbols. | |
int | n_trans |
Number of transitions. | |
unsigned int | max_degree |
Maximal degree (in-degree and out-degree of any state) and maximal number of transitions per symbol. | |
int | final_fst |
First final state. | |
int | final_lst |
Last final state. | |
Transition * | trans |
The transitions. | |
HashEntry * | table |
The transition hash table by symbol. | |
int | n_log |
Size of table (as binary logarithm) |
Gecode::DFA::DFAI::DFAI | ( | int | nt | ) | [inline] |
Gecode::DFA::DFAI::DFAI | ( | void | ) |
Initialize automaton implementation as empty.
Gecode::DFA::DFAI::~DFAI | ( | void | ) | [inline, virtual] |
void Gecode::DFA::DFAI::fill | ( | void | ) |
SharedHandle::Object * Gecode::DFA::DFAI::copy | ( | void | ) | const [virtual] |
unsigned int Gecode::DFA::DFAI::n_symbols |
unsigned int Gecode::DFA::DFAI::max_degree |