ruba::symbolic_state Class Reference

#include <cpda.hh>

Public Member Functions
	symbolic_state (const pda_state &q, const vector< store_automaton > &W)
	symbolic_state (const pda_state &q, const size_n &n, const store_automaton &A)
	~symbolic_state ()
pda_state	get_state () const
const vector< store_automaton > &	get_automata () const

Detailed Description

Symbolic state of a CPDS is of the form (s|A1,...,An), where Ai is a pushdown store automaton – a symbolic representation – of reachable thread states.

Constructor & Destructor Documentation

symbolic_state() [1/2]

ruba::symbolic_state::symbolic_state	(	const pda_state &	g,
		const vector< store_automaton > &	W
	)

PART 3. The data structure for aggregate configuration Constructor with control state g and a list of finite automaton W

Parameters

g
W

symbolic_state() [2/2]

ruba::symbolic_state::symbolic_state	(	const pda_state &	g,
		const size_n &	n,
		const store_automaton &	A
	)

constructor control state g, the number of finite automation, and a finite automaton

Parameters

g
n
A

~symbolic_state()

ruba::symbolic_state::~symbolic_state

(

)

destructor

---

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

• cpda.hh
• cpda.cc