Gecode::DFA::Transition Class Reference

Specification of a DFA transition. More...

#include <int.hh>

List of all members.

Public Member Functions
	Transition ()
	Transition (int i_state0, int symbol0, int o_state0)
	Initialize members.
Public Attributes
int	i_state
	input state
int	symbol
	symbol
int	o_state
	output state Default constructor

---

Detailed Description

Specification of a DFA transition.

Definition at line 2040 of file int.hh.

---

Constructor & Destructor Documentation

Gecode::DFA::Transition::Transition

(

void

)

[inline]

Definition at line 161 of file dfa.hpp.

Gecode::DFA::Transition::Transition	(	int	i_state0,
		int	symbol0,
		int	o_state0
	)			[inline]

Initialize members.

Definition at line 164 of file dfa.hpp.

---

Member Data Documentation

int Gecode::DFA::Transition::i_state

input state

Definition at line 2042 of file int.hh.

int Gecode::DFA::Transition::symbol

symbol

Definition at line 2043 of file int.hh.

int Gecode::DFA::Transition::o_state

output state Default constructor

Definition at line 2044 of file int.hh.

---

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

• gecode/int.hh (Revision: 15623)
• gecode/int/extensional/dfa.hpp (Revision: 14967)