ruba::explicit_state Class Reference
#include <cpda.hh>
Inheritance diagram for ruba::explicit_state:
Public Member Functions | |
| 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 of a CPDS is of the form (s|w1,...,wn). It is an element of Qx(L*)^n, where n represents a number of threads
Constructor & Destructor Documentation
◆ explicit_state() [1/3]
A constructor with a control state and the number of concurrent components
- Parameters
-
s n
◆ explicit_state() [2/3]
A constructor with a thread id,a context bound k, a control state and the number of concurrent
- Parameters
-
id k s W
◆ explicit_state() [3/3]
| ruba::explicit_state::explicit_state | ( | const explicit_state & | c | ) |
A constructor with a global configuration
- Parameters
-
g
◆ ~explicit_state()
| ruba::explicit_state::~explicit_state | ( | ) |
destructor
Member Function Documentation
◆ top() [1/2]
| visible_state ruba::explicit_state::top | ( | ) |
return a top configuration
- Returns
- a global state
◆ top() [2/2]
| visible_state ruba::explicit_state::top | ( | ) | const |
return a top configuration
- Returns
- a global state
The documentation for this class was generated from the following files:
- cpda.hh
- cpda.cc
