Gecode::DFA::DFAI Class Reference
Data stored for a DFA.
More...
#include <dfa.hpp>
List of all members.
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.

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 (indegree and outdegree of any state) and maximal number of transitions per symbol.

int  final_fst 
 First final state.

int  final_lst 
 Last final state.

std::size_t  key 
 Hash key.

Transition *  trans 
 The transitions.

HashEntry *  table 
 The transition hash table by symbol.

int  n_log 
 Size of table (as binary logarithm).

Detailed Description
Data stored for a DFA.
Definition at line 42 of file dfa.hpp.
Constructor & Destructor Documentation
Gecode::DFA::DFAI::DFAI 
( 
int 
nt 
) 
[inline] 
Initialize automaton implementation with nt transitions.
Definition at line 82 of file dfa.hpp.
Gecode::DFA::DFAI::DFAI 
( 
void 

) 

Initialize automaton implementation as empty.
Gecode::DFA::DFAI::~DFAI 
( 
void 

) 
[inline, virtual] 
Delete automaton implemenentation.
Definition at line 86 of file dfa.hpp.
Member Function Documentation
void Gecode::DFA::DFAI::fill 
( 
void 

) 
[inline] 
Fill hash table.
Definition at line 93 of file dfa.hpp.
Member Data Documentation
Number of states.
Definition at line 45 of file dfa.hpp.
Number of symbols.
Definition at line 47 of file dfa.hpp.
Number of transitions.
Definition at line 49 of file dfa.hpp.
Maximal degree (indegree and outdegree of any state) and maximal number of transitions per symbol.
Definition at line 51 of file dfa.hpp.
First final state.
Definition at line 53 of file dfa.hpp.
Last final state.
Definition at line 55 of file dfa.hpp.
Hash key.
Definition at line 57 of file dfa.hpp.
The transitions.
Definition at line 59 of file dfa.hpp.
The transition hash table by symbol.
Definition at line 68 of file dfa.hpp.
Size of table (as binary logarithm).
Definition at line 70 of file dfa.hpp.
The documentation for this class was generated from the following file: