#include <evtgba/explicit.hh>
Inheritance diagram for spot::evtgba_explicit:
Public Types | |
typedef std::list< transition * > | transition_list |
Public Member Functions | |
evtgba_explicit () | |
virtual | ~evtgba_explicit () |
virtual evtgba_iterator * | init_iter () const |
virtual evtgba_iterator * | succ_iter (const spot::state *s) const |
virtual evtgba_iterator * | pred_iter (const spot::state *s) const |
virtual std::string | format_state (const spot::state *state) const |
virtual const symbol_set & | all_acceptance_conditions () const |
Return the set of all acceptance conditions used by this automaton. | |
virtual const symbol_set & | alphabet () const |
transition * | add_transition (const std::string &source, const rsymbol &label, rsymbol_set acc, const std::string &dest) |
void | set_init_state (const std::string &name) |
Designate name as initial state. | |
void | declare_acceptance_condition (const rsymbol &acc) |
virtual evtgba_iterator * | succ_iter (const state *s) const=0 |
virtual evtgba_iterator * | pred_iter (const state *s) const=0 |
virtual std::string | format_state (const state *state) const=0 |
Format the state as a string for printing. | |
virtual std::string | format_label (const symbol *symbol) const |
virtual std::string | format_acceptance_condition (const symbol *symbol) const |
virtual std::string | format_acceptance_conditions (const symbol_set &symset) const |
Protected Types | |
typedef Sgi::hash_map< const std::string, evtgba_explicit::state *, string_hash > | ns_map |
typedef Sgi::hash_map< const evtgba_explicit::state *, std::string, ptr_hash< evtgba_explicit::state > > | sn_map |
Protected Member Functions | |
state * | declare_state (const std::string &name) |
Protected Attributes | |
ns_map | name_state_map_ |
sn_map | state_name_map_ |
symbol_set | acc_set_ |
symbol_set | alphabet_ |
transition_list | init_states_ |
Classes | |
struct | state |
struct | transition |
Explicit transitions (used by spot::evtgba_explicit). More... |
typedef std::list<transition*> spot::evtgba_explicit::transition_list |
typedef Sgi::hash_map<const std::string, evtgba_explicit::state*, string_hash> spot::evtgba_explicit::ns_map [protected] |
typedef Sgi::hash_map<const evtgba_explicit::state*, std::string, ptr_hash<evtgba_explicit::state> > spot::evtgba_explicit::sn_map [protected] |
spot::evtgba_explicit::evtgba_explicit | ( | ) |
virtual spot::evtgba_explicit::~evtgba_explicit | ( | ) | [virtual] |
virtual evtgba_iterator* spot::evtgba_explicit::init_iter | ( | ) | const [virtual] |
Implements spot::evtgba.
virtual evtgba_iterator* spot::evtgba_explicit::succ_iter | ( | const spot::state * | s | ) | const [virtual] |
virtual evtgba_iterator* spot::evtgba_explicit::pred_iter | ( | const spot::state * | s | ) | const [virtual] |
virtual std::string spot::evtgba_explicit::format_state | ( | const spot::state * | state | ) | const [virtual] |
virtual const symbol_set& spot::evtgba_explicit::all_acceptance_conditions | ( | ) | const [virtual] |
Return the set of all acceptance conditions used by this automaton.
The goal of the emptiness check is to ensure that a strongly connected component walks through each of these acceptiong conditions. I.e., the union of the acceptiong conditions of all transition in the SCC should be equal to the result of this function.
Implements spot::evtgba.
virtual const symbol_set& spot::evtgba_explicit::alphabet | ( | ) | const [virtual] |
Implements spot::evtgba.
transition* spot::evtgba_explicit::add_transition | ( | const std::string & | source, | |
const rsymbol & | label, | |||
rsymbol_set | acc, | |||
const std::string & | dest | |||
) |
void spot::evtgba_explicit::set_init_state | ( | const std::string & | name | ) |
Designate name as initial state.
Can be called multiple times in case there is several initial states.
void spot::evtgba_explicit::declare_acceptance_condition | ( | const rsymbol & | acc | ) |
state* spot::evtgba_explicit::declare_state | ( | const std::string & | name | ) | [protected] |
virtual evtgba_iterator* spot::evtgba::succ_iter | ( | const state * | s | ) | const [pure virtual, inherited] |
Implemented in spot::evtgba_product.
virtual evtgba_iterator* spot::evtgba::pred_iter | ( | const state * | s | ) | const [pure virtual, inherited] |
Implemented in spot::evtgba_product.
virtual std::string spot::evtgba::format_state | ( | const state * | state | ) | const [pure virtual, inherited] |
Format the state as a string for printing.
This formating is the responsability of the automata who owns the state.
Implemented in spot::evtgba_product.
virtual std::string spot::evtgba::format_label | ( | const symbol * | symbol | ) | const [virtual, inherited] |
virtual std::string spot::evtgba::format_acceptance_condition | ( | const symbol * | symbol | ) | const [virtual, inherited] |
virtual std::string spot::evtgba::format_acceptance_conditions | ( | const symbol_set & | symset | ) | const [virtual, inherited] |
ns_map spot::evtgba_explicit::name_state_map_ [protected] |
sn_map spot::evtgba_explicit::state_name_map_ [protected] |
symbol_set spot::evtgba_explicit::acc_set_ [protected] |
symbol_set spot::evtgba_explicit::alphabet_ [protected] |
transition_list spot::evtgba_explicit::init_states_ [protected] |