spot
2.3.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.