CUBA
Public Member Functions | List of all members
ruba::explicit_state Class Reference

#include <cpda.hh>

Inheritance diagram for ruba::explicit_state:
ruba::explicit_state_tid

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]

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

A constructor with a control state and the number of concurrent components

Parameters
s
n

◆ explicit_state() [2/3]

ruba::explicit_state::explicit_state ( const pda_state &  s,
const stack_vec &  W 
)

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: