Common interface to emptiness check algorithms.
More...
#include <spot/twaalgos/emptiness.hh>
|
| emptiness_check (const const_twa_ptr &a, option_map o=option_map()) |
|
const const_twa_ptr & | automaton () const |
| The automaton that this emptiness-check inspects.
|
|
const option_map & | options () const |
| Return the options parameterizing how the emptiness check is realized.
|
|
const char * | parse_options (char *options) |
| Modify the algorithm options.
|
|
virtual bool | safe () const |
| Return false iff accepting_run() can return 0 for non-empty automata.
|
|
virtual emptiness_check_result_ptr | check ()=0 |
| Check whether the automaton contain an accepting run.
|
|
virtual const unsigned_statistics * | statistics () const |
| Return statistics, if available.
|
|
virtual const ec_statistics * | emptiness_check_statistics () const |
| Return emptiness check statistics, if available.
|
|
virtual std::ostream & | print_stats (std::ostream &os) const |
| Print statistics, if any.
|
|
virtual void | options_updated (const option_map &old) |
| Notify option updates.
|
|
Common interface to emptiness check algorithms.
◆ automaton()
const const_twa_ptr & spot::emptiness_check::automaton |
( |
| ) |
const |
|
inline |
The automaton that this emptiness-check inspects.
◆ check()
virtual emptiness_check_result_ptr spot::emptiness_check::check |
( |
| ) |
|
|
pure virtual |
◆ emptiness_check_statistics()
virtual const ec_statistics * spot::emptiness_check::emptiness_check_statistics |
( |
| ) |
const |
|
virtual |
Return emptiness check statistics, if available.
◆ options()
const option_map & spot::emptiness_check::options |
( |
| ) |
const |
|
inline |
Return the options parameterizing how the emptiness check is realized.
◆ options_updated()
virtual void spot::emptiness_check::options_updated |
( |
const option_map & |
old | ) |
|
|
virtual |
◆ parse_options()
const char * spot::emptiness_check::parse_options |
( |
char * |
options | ) |
|
Modify the algorithm options.
◆ print_stats()
virtual std::ostream & spot::emptiness_check::print_stats |
( |
std::ostream & |
os | ) |
const |
|
virtual |
◆ safe()
virtual bool spot::emptiness_check::safe |
( |
| ) |
const |
|
virtual |
Return false iff accepting_run() can return 0 for non-empty automata.
◆ statistics()
Return statistics, if available.
◆ a_
const_twa_ptr spot::emptiness_check::a_ |
|
protected |
◆ o_
The documentation for this class was generated from the following file: