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

spot::evtgba_product Class Reference

#include <evtgba/product.hh>

Inheritance diagram for spot::evtgba_product:

Inheritance graph
[legend]
Collaboration diagram for spot::evtgba_product:

Collaboration graph
[legend]
List of all members.

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

Member Typedef Documentation

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
 


Constructor & Destructor Documentation

spot::evtgba_product::evtgba_product const evtgba_product_operands op  ) 
 

virtual spot::evtgba_product::~evtgba_product  )  [virtual]
 


Member Function Documentation

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 who 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.


Member Data Documentation

symbol_set spot::evtgba_product::all_acc_ [private]
 

symbol_set spot::evtgba_product::alphabet_ [private]
 

common_symbol_table spot::evtgba_product::common_symbols_ [private]
 

const evtgba_product_operands spot::evtgba_product::op_ [private]
 


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:24 2005 for spot by doxygen 1.4.0