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

#include <pda.hh>

Public Member Functions

 pushdown_automaton ()
 
 pushdown_automaton (const set< pda_state > &states, const set< pda_alpha > &alphas, const vector< pda_action > &actions, const adj_list &program)
 
 ~pushdown_automaton ()
 
const set< pda_state > & get_states () const
 
const set< pda_alpha > & get_alphas () const
 
const vector< pda_action > & get_actions () const
 
const adj_list & get_program () const
 

Detailed Description

Definition of pushdown automaton

Constructor & Destructor Documentation

◆ pushdown_automaton() [1/2]

ruba::pushdown_automaton::pushdown_automaton ( )

constructor with default parameters

◆ pushdown_automaton() [2/2]

ruba::pushdown_automaton::pushdown_automaton ( const set< pda_state > &  states,
const set< pda_alpha > &  alphas,
const vector< pda_action > &  actions,
const adj_list &  program 
)

constructor

Parameters
states
alphas
actions
PDA

◆ ~pushdown_automaton()

ruba::pushdown_automaton::~pushdown_automaton ( )

destructor

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