Gecode::DFA::DFAI Class Reference

Data stored for a DFA. More...

#include <dfa.hpp>

List of all members.

Classes
class	HashEntry
	Specification of transition range. More...
Public Member Functions
void	fill (void)
	Fill hash table.
	DFAI (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
int	n_states
	Number of states.
unsigned int	n_symbols
	Number of symbols.
int	n_trans
	Number of transitions.
unsigned int	max_degree
	Return maximal degree (in-degree and out-degree) of any state.
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).

---

Detailed Description

Data stored for a DFA.

Definition at line 46 of file dfa.hpp.

---

Constructor & Destructor Documentation

Gecode::DFA::DFAI::DFAI

(

int

nt

)

[inline]

Initialize automaton implementation with nt transitions.

Definition at line 86 of file dfa.hpp.

Gecode::DFA::DFAI::DFAI

(

void

)

Initialize automaton implementation as empty.

Gecode::DFA::DFAI::~DFAI

(

void

)

[inline, virtual]

Delete automaton implemenentation.

Definition at line 90 of file dfa.hpp.

---

Member Function Documentation

void Gecode::DFA::DFAI::fill

(

void

)

Fill hash table.

Definition at line 489 of file dfa.cpp.

SharedHandle::Object * Gecode::DFA::DFAI::copy

(

void

)

const [virtual]

Create a copy.

Implements Gecode::CopiedHandle::Object.

Definition at line 475 of file dfa.cpp.

---

Member Data Documentation

int Gecode::DFA::DFAI::n_states

Number of states.

Definition at line 49 of file dfa.hpp.

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

Number of symbols.

Definition at line 51 of file dfa.hpp.

int Gecode::DFA::DFAI::n_trans

Number of transitions.

Definition at line 53 of file dfa.hpp.

unsigned int Gecode::DFA::DFAI::max_degree

Return maximal degree (in-degree and out-degree) of any state.

Definition at line 55 of file dfa.hpp.

int Gecode::DFA::DFAI::final_fst

First final state.

Definition at line 57 of file dfa.hpp.

int Gecode::DFA::DFAI::final_lst

Last final state.

Definition at line 59 of file dfa.hpp.

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

The transitions.

Definition at line 61 of file dfa.hpp.

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

The transition hash table by symbol.

Definition at line 70 of file dfa.hpp.

int Gecode::DFA::DFAI::n_log

Size of table (as binary logarithm).

Definition at line 72 of file dfa.hpp.

---

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

• gecode/int/extensional/dfa.hpp (Revision: 8278)
• gecode/int/extensional/dfa.cpp (Revision: 8278)