ruba::visible_state Class Reference

#include <cpda.hh>

Public Member Functions
	visible_state (const pda_state &s, const size_n &n)
	visible_state (const pda_state &s, const vector< pda_state > &L)
	~visible_state ()
const vector< pda_alpha > &	get_local () const
pda_state	get_state () const

Detailed Description

Visible state

Constructor & Destructor Documentation

visible_state() [1/2]

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

A constructor with a control state and the size of local part

Parameters

s
n

visible_state() [2/2]

ruba::visible_state::visible_state	(	const pda_state &	s,
		const vector< pda_state > &	L
	)

A constructor with a control state and a vector of local states

Parameters

s
L

~visible_state()

ruba::visible_state::~visible_state

(

)

destructor

---

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

• cpda.hh
• cpda.cc