#include <evtgba/evtgba.hh>
Inheritance diagram for spot::evtgba:
Public Member Functions | |
virtual | ~evtgba () |
virtual evtgba_iterator * | init_iter () const =0 |
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 |
virtual const symbol_set & | all_acceptance_conditions () const =0 |
Return the set of all acceptance conditions used by this automaton. | |
virtual const symbol_set & | alphabet () const =0 |
Protected Member Functions | |
evtgba () |
|
|
|
|
|
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. Implemented in spot::evtgba_explicit, and spot::evtgba_product. |
|
Implemented in spot::evtgba_explicit, and spot::evtgba_product. |
|
|
|
|
|
|
|
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. |
|
Implemented in spot::evtgba_explicit, and spot::evtgba_product. |
|
Implemented in spot::evtgba_product. |
|
Implemented in spot::evtgba_product. |