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

spot::evtgba_explicit Class Reference

#include <evtgba/explicit.hh>

Inheritance diagram for spot::evtgba_explicit:

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

Collaboration graph
[legend]
List of all members.

Public Types

typedef std::list< transition * > transition_list

Public Member Functions

 evtgba_explicit ()
virtual ~evtgba_explicit ()
virtual evtgba_iteratorinit_iter () const
virtual evtgba_iteratorsucc_iter (const spot::state *s) const
virtual evtgba_iteratorpred_iter (const spot::state *s) const
virtual std::string format_state (const spot::state *state) const
virtual const symbol_setall_acceptance_conditions () const
 Return the set of all acceptance conditions used by this automaton.
virtual const symbol_setalphabet () const
transitionadd_transition (const std::string &source, const rsymbol &label, rsymbol_set acc, const std::string &dest)
void set_init_state (const std::string &name)
 Designate name as initial state.
void declare_acceptance_condition (const rsymbol &acc)
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

Protected Types

typedef Sgi::hash_map< const
std::string, evtgba_explicit::state *,
string_hash
ns_map
typedef Sgi::hash_map< const
evtgba_explicit::state *,
std::string, ptr_hash< evtgba_explicit::state > > 
sn_map

Protected Member Functions

statedeclare_state (const std::string &name)

Protected Attributes

ns_map name_state_map_
sn_map state_name_map_
symbol_set acc_set_
symbol_set alphabet_
transition_list init_states_

Classes

struct  state
struct  transition
 Explicit transitions (used by spot::evtgba_explicit). More...

Member Typedef Documentation

typedef Sgi::hash_map<const std::string, evtgba_explicit::state*, string_hash> spot::evtgba_explicit::ns_map [protected]
 

typedef Sgi::hash_map<const evtgba_explicit::state*, std::string, ptr_hash<evtgba_explicit::state> > spot::evtgba_explicit::sn_map [protected]
 

typedef std::list<transition*> spot::evtgba_explicit::transition_list
 


Constructor & Destructor Documentation

spot::evtgba_explicit::evtgba_explicit  ) 
 

virtual spot::evtgba_explicit::~evtgba_explicit  )  [virtual]
 


Member Function Documentation

transition* spot::evtgba_explicit::add_transition const std::string &  source,
const rsymbol label,
rsymbol_set  acc,
const std::string &  dest
 

virtual const symbol_set& spot::evtgba_explicit::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_explicit::alphabet  )  const [virtual]
 

Implements spot::evtgba.

void spot::evtgba_explicit::declare_acceptance_condition const rsymbol acc  ) 
 

state* spot::evtgba_explicit::declare_state const std::string &  name  )  [protected]
 

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::format_state const state state  )  const [pure virtual, inherited]
 

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 std::string spot::evtgba_explicit::format_state const spot::state state  )  const [virtual]
 

virtual evtgba_iterator* spot::evtgba_explicit::init_iter  )  const [virtual]
 

Implements spot::evtgba.

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

Implemented in spot::evtgba_product.

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

void spot::evtgba_explicit::set_init_state const std::string &  name  ) 
 

Designate name as initial state.

Can be called multiple times in case there is several initial states.

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

Implemented in spot::evtgba_product.

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


Member Data Documentation

symbol_set spot::evtgba_explicit::acc_set_ [protected]
 

symbol_set spot::evtgba_explicit::alphabet_ [protected]
 

transition_list spot::evtgba_explicit::init_states_ [protected]
 

ns_map spot::evtgba_explicit::name_state_map_ [protected]
 

sn_map spot::evtgba_explicit::state_name_map_ [protected]
 


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