main page modules namespaces classes files
Gecode home

search for 

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

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

Create a copy. Definition at line 451 of file dfa.cc.

---

Member Data Documentation

unsigned int Gecode::DFA::DFAI::use_cnt

How often is the DFA implementation referred to. Definition at line 52 of file dfa.icc.

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

Number of states. Definition at line 54 of file dfa.icc.

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

Number of transitions. Definition at line 56 of file dfa.icc.

int Gecode::DFA::DFAI::final_fst

First final state. Definition at line 58 of file dfa.icc.

int Gecode::DFA::DFAI::final_lst

Last final state. Definition at line 60 of file dfa.icc.

Transition Gecode::DFA::DFAI::trans[1]

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:

• gecode/int/regular/dfa.icc (Revision: 3512)
• gecode/int/regular/dfa.cc (Revision: 3512)