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

#include <fsa.hh>

Inheritance diagram for ruba::finite_automaton:
ruba::store_automaton

Public Member Functions

 finite_automaton (const fsa_state_set &states, const fsa_alphabet &alphabet, const fsa_delta &transitions, const fsa_state_set &start, const fsa_state &accept)
 
 finite_automaton (const fsa_state_set &states, const fsa_alphabet &alphabet, const fsa_state_set &start, const fsa_state &accept)
 
virtual ~finite_automaton ()
 
const fsa_state_set & get_states () const
 
const fsa_alphabet & get_alphas () const
 
const fsa_delta & get_transitions () const
 
fsa_state_set get_start () const
 
void set_initials (const fsa_state_set &initials)
 
fsa_state get_accept () const
 
bool empty () const
 

Detailed Description

Definition of finite automaton

Constructor & Destructor Documentation

◆ finite_automaton() [1/2]

ruba::finite_automaton::finite_automaton ( const fsa_state_set &  states,
const fsa_alphabet &  alphabet,
const fsa_delta &  transitions,
const fsa_state_set &  start,
const fsa_state &  accept 
)

constructor with the biggest state, the biggest input symbol (alpha), the set of transitions and the accept state

Parameters
state
alpha
transs
initials
accept

◆ finite_automaton() [2/2]

ruba::finite_automaton::finite_automaton ( const fsa_state_set &  states,
const fsa_alphabet &  alphabet,
const fsa_state_set &  start,
const fsa_state &  accept 
)

constructor with the biggest state, the biggest input symbol (alpha), and the accept state

Parameters
state
alpha
start
accept

◆ ~finite_automaton()

ruba::finite_automaton::~finite_automaton ( )
virtual

destructor

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