spot  0.8.3
Public Member Functions | Protected Member Functions
spot::evtgba Class Reference

#include <evtgba/evtgba.hh>

Inheritance diagram for spot::evtgba:
Inheritance graph
[legend]

List of all members.

Public Member Functions

virtual ~evtgba ()
virtual evtgba_iteratorinit_iter () const =0
virtual evtgba_iteratorsucc_iter (const state *s) const =0
virtual evtgba_iteratorpred_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_setall_acceptance_conditions () const =0
 Return the set of all acceptance conditions used by this automaton.
virtual const symbol_setalphabet () const =0

Protected Member Functions

 evtgba ()

Constructor & Destructor Documentation

spot::evtgba::evtgba ( ) [protected]
virtual spot::evtgba::~evtgba ( ) [virtual]

Member Function Documentation

virtual const symbol_set& spot::evtgba::all_acceptance_conditions ( ) const [pure 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.

Implemented in spot::evtgba_explicit, and spot::evtgba_product.

virtual const symbol_set& spot::evtgba::alphabet ( ) const [pure virtual]
virtual std::string spot::evtgba::format_acceptance_condition ( const symbol symbol) const [virtual]
virtual std::string spot::evtgba::format_acceptance_conditions ( const symbol_set symset) const [virtual]
virtual std::string spot::evtgba::format_label ( const symbol symbol) const [virtual]
virtual std::string spot::evtgba::format_state ( const state state) const [pure virtual]

Format the state as a string for printing.

This formating is the responsability of the automata that owns the state.

Implemented in spot::evtgba_explicit, and spot::evtgba_product.

virtual evtgba_iterator* spot::evtgba::init_iter ( ) const [pure virtual]
virtual evtgba_iterator* spot::evtgba::pred_iter ( const state s) const [pure virtual]
virtual evtgba_iterator* spot::evtgba::succ_iter ( const state s) const [pure virtual]

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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Mar 9 2012 13:52:10 for spot by doxygen 1.7.6.1