spot
0.8.3
|
#include <evtgba/product.hh>
Public Types | |
typedef std::vector< const evtgba * > | evtgba_product_operands |
typedef std::map< const symbol *, std::set< int > > | common_symbol_table |
Public Member Functions | |
evtgba_product (const evtgba_product_operands &op) | |
virtual | ~evtgba_product () |
virtual evtgba_iterator * | init_iter () const |
virtual evtgba_iterator * | succ_iter (const state *s) const |
virtual evtgba_iterator * | pred_iter (const state *s) const |
virtual std::string | format_state (const state *state) const |
Format the state as a string for printing. | |
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 |
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 |
Private Attributes | |
const evtgba_product_operands | op_ |
symbol_set | alphabet_ |
symbol_set | all_acc_ |
common_symbol_table | common_symbols_ |
typedef std::map<const symbol*, std::set<int> > spot::evtgba_product::common_symbol_table |
typedef std::vector<const evtgba*> spot::evtgba_product::evtgba_product_operands |
spot::evtgba_product::evtgba_product | ( | const evtgba_product_operands & | op | ) |
virtual spot::evtgba_product::~evtgba_product | ( | ) | [virtual] |
virtual const symbol_set& spot::evtgba_product::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_product::alphabet | ( | ) | const [virtual] |
Implements spot::evtgba.
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] |
virtual std::string spot::evtgba::format_label | ( | const symbol * | symbol | ) | const [virtual, inherited] |
virtual std::string spot::evtgba_product::format_state | ( | const state * | state | ) | const [virtual] |
Format the state as a string for printing.
This formating is the responsability of the automata that owns the state.
Implements spot::evtgba.
virtual evtgba_iterator* spot::evtgba_product::init_iter | ( | ) | const [virtual] |
Implements spot::evtgba.
virtual evtgba_iterator* spot::evtgba_product::pred_iter | ( | const state * | s | ) | const [virtual] |
Implements spot::evtgba.
virtual evtgba_iterator* spot::evtgba_product::succ_iter | ( | const state * | s | ) | const [virtual] |
Implements spot::evtgba.
symbol_set spot::evtgba_product::all_acc_ [private] |
symbol_set spot::evtgba_product::alphabet_ [private] |
const evtgba_product_operands spot::evtgba_product::op_ [private] |