|
spot
2.1
|
Common interface to emptiness check algorithms. More...
#include <spot/twaalgos/emptiness.hh>


Public Member Functions | |
| 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. More... | |
| const option_map & | options () const |
| Return the options parametrizing how the emptiness check is realized. More... | |
| const char * | parse_options (char *options) |
| Modify the algorithm options. More... | |
| virtual bool | safe () const |
| Return false iff accepting_run() can return 0 for non-empty automata. More... | |
| virtual emptiness_check_result_ptr | check ()=0 |
| Check whether the automaton contain an accepting run. More... | |
| virtual const unsigned_statistics * | statistics () const |
| Return statistics, if available. More... | |
| virtual const ec_statistics * | emptiness_check_statistics () const |
| Return emptiness check statistics, if available. More... | |
| virtual std::ostream & | print_stats (std::ostream &os) const |
| Print statistics, if any. More... | |
| virtual void | options_updated (const option_map &old) |
| Notify option updates. More... | |
Protected Attributes | |
| const_twa_ptr | a_ |
| The automaton. More... | |
| option_map | o_ |
| The options. More... | |
Common interface to emptiness check algorithms.
|
inline |
The automaton that this emptiness-check inspects.
|
pure virtual |
Check whether the automaton contain an accepting run.
Return 0 if the automaton accepts no run. Return an instance of emptiness_check_result otherwise. This instance might allow to obtain one sample acceptance run. The result has to be destroyed before the emptiness_check instance that generated it.
Some emptiness_check algorithms may allow check() to be called several time, but generally you should not assume that.
Some emptiness_check algorithms, especially those using bit state hashing may return 0 even if the automaton is not empty.
Implemented in spot::couvreur99_check_shy, and spot::couvreur99_check.
|
virtual |
Return emptiness check statistics, if available.
|
inline |
Return the options parametrizing how the emptiness check is realized.
|
virtual |
Notify option updates.
| const char* spot::emptiness_check::parse_options | ( | char * | options | ) |
Modify the algorithm options.
|
virtual |
Print statistics, if any.
Reimplemented in spot::couvreur99_check.
|
virtual |
Return false iff accepting_run() can return 0 for non-empty automata.
|
virtual |
Return statistics, if available.
|
protected |
The automaton.
|
protected |
The options.
1.8.8