ruba::thread_visible_state Class Reference

#include <pda.hh>

Public Member Functions
	thread_visible_state ()
	thread_visible_state (const pda_state &s, const pda_alpha &l)
	~thread_visible_state ()
pda_alpha	get_alpha () const
pda_state	get_state () const

Static Public Attributes
static pda_state	S = 0

Detailed Description

PART 2. Thread state and thread configuration definitions are from here.

thread state: thread configuration: a configuration of PDA the thread state class

Constructor & Destructor Documentation

thread_visible_state() [1/2]

ruba::thread_visible_state::thread_visible_state

(

)

default constructor

thread_visible_state() [2/2]

ruba::thread_visible_state::thread_visible_state	(	const pda_state &	s,
		const pda_alpha &	l
	)

constructor with a control state and a stack symbol

Parameters

s
l

~thread_visible_state()

ruba::thread_visible_state::~thread_visible_state

(

)

destructor

Member Function Documentation

get_alpha()

pda_alpha ruba::thread_visible_state::get_alpha ( ) const

inline

Returns

the stack symbol of current thread state

get_state()

pda_state ruba::thread_visible_state::get_state ( ) const

inline

Returns

the control state of current thread state

---

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

• pda.hh
• cpda.cc