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 1887 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 1889 of file int.hh.

int Gecode::DFA::Transition::symbol

symbol

Definition at line 1890 of file int.hh.

int Gecode::DFA::Transition::o_state

output state Default constructor

Definition at line 1891 of file int.hh.

---

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

• gecode/int.hh (Revision: 14362)
• gecode/int/extensional/dfa.hpp (Revision: 13458)