Generated on Mon Aug 25 11:35:48 2008 for Gecode by doxygen 1.5.6
Gecode::DFA::DFAI

Gecode::DFA::DFAI Class Reference

Inherits Gecode::SharedHandle::Object.

List of all members.

Detailed Description

Data stored for a DFA.

Definition at line 44 of file dfa.icc.


Public Member Functions

void fill (void)
 Fill hash table.
 DFAI (unsigned 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

unsigned int n_states
 Number of states.
unsigned int n_symbols
 Number of symbols.
unsigned int n_trans
 Number of transitions.
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).

Classes

class  HashEntry
 Specification of transition range. More...

Constructor & Destructor Documentation

Gecode::DFA::DFAI::DFAI ( unsigned int  nt  )  [inline]

Initialize automaton implementation with nt transitions.

Definition at line 82 of file dfa.icc.

Gecode::DFA::DFAI::DFAI ( void   ) 

Initialize automaton implementation as empty.

Gecode::DFA::DFAI::~DFAI ( void   )  [inline, virtual]

Delete automaton implemenentation.

Definition at line 87 of file dfa.icc.

Member Function Documentation

void Gecode::DFA::DFAI::fill ( void   ) 

Fill hash table.

Definition at line 504 of file dfa.cc.

SharedHandle::Object * Gecode::DFA::DFAI::copy ( void   )  const [virtual]

Create a copy.

Implements Gecode::SharedHandle::Object.

Definition at line 491 of file dfa.cc.

Member Data Documentation

unsigned int Gecode::DFA::DFAI::n_states

Number of states.

Definition at line 47 of file dfa.icc.

unsigned int Gecode::DFA::DFAI::n_symbols

Number of symbols.

Definition at line 49 of file dfa.icc.

unsigned int Gecode::DFA::DFAI::n_trans

Number of transitions.

Definition at line 51 of file dfa.icc.

int Gecode::DFA::DFAI::final_fst

First final state.

Definition at line 53 of file dfa.icc.

int Gecode::DFA::DFAI::final_lst

Last final state.

Definition at line 55 of file dfa.icc.

Transition* Gecode::DFA::DFAI::trans

The transitions.

Definition at line 57 of file dfa.icc.

HashEntry* Gecode::DFA::DFAI::table

The transition hash table by symbol.

Definition at line 66 of file dfa.icc.

int Gecode::DFA::DFAI::n_log

Size of table (as binary logarithm).

Definition at line 68 of file dfa.icc.

The documentation for this class was generated from the following files: