#include <evtgba/evtgba.hh>
Protected Member Functions |
| evtgba () |
Constructor & Destructor Documentation
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 |
The documentation for this class was generated from the following file: