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
Member Data Documentation
| unsigned int Gecode::DFA::DFAI::use_cnt |
| unsigned int Gecode::DFA::DFAI::n_states |
| unsigned int Gecode::DFA::DFAI::n_trans |
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)