#include <evtgba/explicit.hh>
Member Typedef Documentation
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 |
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 |
|
virtualinherited |
virtual std::string spot::evtgba::format_acceptance_conditions |
( |
const symbol_set & |
symset | ) |
const |
|
virtualinherited |
virtual std::string spot::evtgba::format_label |
( |
const symbol * |
symbol | ) |
const |
|
virtualinherited |
virtual std::string spot::evtgba_explicit::format_state |
( |
const spot::state * |
state | ) |
const |
|
virtual |
Format the state as a string for printing.
This formating is the responsability of the automata that owns the state.
Implements spot::evtgba.
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.
Member Data Documentation
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: