ruba::explicit_state_tid Class Reference

#include <cpda.hh>

Inheritance diagram for ruba::explicit_state_tid:

Public Member Functions
	explicit_state_tid (const pda_state &s, const size_n &n)
	explicit_state_tid (const id_thread &id, const ctx_bound &k, const pda_state &s, const size_n &n)
	explicit_state_tid (const id_thread &id, const pda_state &s, const stack_vec &W)
	explicit_state_tid (const id_thread &id, const ctx_bound &k, const pda_state &s, const stack_vec &W)
	explicit_state_tid (const explicit_state_tid &c)
ctx_bound	get_context_k () const
void	set_context_k (const ctx_bound &k)
id_thread	get_thread_id () const
Public Member Functions inherited from ruba::explicit_state
	explicit_state (const pda_state &s, const size_n &n)
	explicit_state (const pda_state &s, const stack_vec &W)
	explicit_state (const explicit_state &c)
	~explicit_state ()
pda_state	get_state () const
const stack_vec &	get_stacks () const
visible_state	top ()
visible_state	top () const

Detailed Description

Explicit state – with thread id and contexts – of a CPDS is of the form (id,k,s|w1,...,wn). It is an element of Q x (L*)^n, where n represents a number of threads

Constructor & Destructor Documentation

explicit_state_tid() [1/4]

ruba::explicit_state_tid::explicit_state_tid	(	const pda_state &	s,
		const size_n &	n
	)

Parameters

s
n

explicit_state_tid() [2/4]

ruba::explicit_state_tid::explicit_state_tid	(	const id_thread &	id,
		const ctx_bound &	k,
		const pda_state &	s,
		const size_n &	n
	)

Parameters

id
k
s
n

explicit_state_tid() [3/4]

ruba::explicit_state_tid::explicit_state_tid	(	const id_thread &	id,
		const pda_state &	s,
		const stack_vec &	W
	)

Constructor with thread id, PDA state and the vector of stacks

Parameters

id
s
W

explicit_state_tid() [4/4]

ruba::explicit_state_tid::explicit_state_tid	(	const id_thread &	id,
		const ctx_bound &	k,
		const pda_state &	s,
		const stack_vec &	W
	)

Parameters

id
k
s
W

---

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

• cpda.hh
• cpda.cc