#include <tgbaalgos/emptiness.hh>
Inheritance diagram for spot::emptiness_check:
Public Member Functions | |
emptiness_check (const tgba *a, option_map o=option_map()) | |
virtual | ~emptiness_check () |
const tgba * | automaton () const |
The automaton that this emptiness-check inspects. | |
const option_map & | options () const |
Return the options parametrizing 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 * | check ()=0 |
Check whether the automaton contain an accepting run. | |
virtual const unsigned_statistics * | statistics () const |
Return 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. | |
Protected Attributes | |
const tgba * | a_ |
The automaton. | |
option_map | o_ |
The options. |
|
|
|
|
|
The automaton that this emptiness-check inspects.
|
|
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, and spot::couvreur99_check_shy. |
|
Return the options parametrizing how the emptiness check is realized.
|
|
Notify option updates.
|
|
Modify the algorithm options.
|
|
Print statistics, if any.
Reimplemented in spot::couvreur99_check. |
|
Return false iff accepting_run() can return 0 for non-empty automata.
|
|
Return statistics, if available.
|
|
The automaton.
|
|
The options.
|