spot  1.0
Public Member Functions | Protected Member Functions | List of all members
spot::evtgba Class Reference

#include <evtgba/evtgba.hh>

Inheritance diagram for spot::evtgba:
Inheritance graph
Collaboration diagram for spot::evtgba:
Collaboration graph

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 Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2