Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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]
 

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

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 who owns the state.

Implemented in spot::evtgba_product.

virtual evtgba_iterator* spot::evtgba::init_iter  )  const [pure virtual]
 

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

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

Implemented in spot::evtgba_product.

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

Implemented in spot::evtgba_product.


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 Mon Jan 31 12:55:22 2005 for spot by doxygen 1.4.0