ruba::thread_state Class Reference

#include <pda.hh>

Public Member Functions
	thread_state ()
	thread_state (const pda_state &s, const pda_alpha &l)
	thread_state (const thread_visible_state &t)
	thread_state (const pda_state &s, const pda_stack &w)
	thread_state (const thread_state &c)
	~thread_state ()
pda_state	get_state () const
const pda_stack &	get_stack () const
thread_visible_state	top () const

Detailed Description

a configuration (s, w) of a PDS is an element of Q x L*.

Constructor & Destructor Documentation

thread_state() [1/5]

ruba::thread_state::thread_state

(

)

A default constructor without any input parameters

thread_state() [2/5]

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

A constructor with a control state and a stack symbol

Parameters

s
l

thread_state() [3/5]

ruba::thread_state::thread_state

(

const thread_visible_state &

t

)

A constructor with a thread state

Parameters

t

thread_state() [4/5]

ruba::thread_state::thread_state	(	const pda_state &	s,
		const pda_stack &	w
	)

A constructor with a control state and an alphabet

Parameters

s
w

thread_state() [5/5]

ruba::thread_state::thread_state

(

const thread_state &

c

)

A constructor with a thread configuration

Parameters

c

~thread_state()

ruba::thread_state::~thread_state

(

)

destructor

---

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

• pda.hh
• cpda.cc