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  
DFAI *  copy (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

Create a copy.

Member Data Documentation

How often is the DFA implementation referred to.


Number of states.


Number of transitions.


First final state.


Last final state.


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

The documentation for this class was generated from the following files:
 gecode/int/regular/dfa.icc (Revision: 3512)
 gecode/int/regular/dfa.cc (Revision: 3512)