Generated on Sat Nov 11 01:12:19 2006 for Gecode by doxygen 1.5.1

Gecode::DFA::DFAI Class Reference

List of all members.

Detailed Description

Data stored for a DFA.

Definition at line 49 of file dfa.icc.

Public Member Functions

DFAIcopy (void)
 Create a copy.

Public Attributes

unsigned int use_cnt
 How often is the DFA implementation referred to.
unsigned int n_states
 Number of states.
unsigned int n_trans
 Number of transitions.
int final_fst
 First final state.
int final_lst
 Last final state.
Transition trans [1]
 The transitions (actual size depends on number of transitions).


Member Function Documentation

DFA::DFAI * Gecode::DFA::DFAI::copy ( void   ) 

Create a copy.

Definition at line 451 of file dfa.cc.


Member Data Documentation

How often is the DFA implementation referred to.

Definition at line 52 of file dfa.icc.

Number of states.

Definition at line 54 of file dfa.icc.

Number of transitions.

Definition at line 56 of file dfa.icc.

First final state.

Definition at line 58 of file dfa.icc.

Last final state.

Definition at line 60 of file dfa.icc.

The transitions (actual size depends on number of transitions).

Definition at line 62 of file dfa.icc.


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