#include <tgbaalgos/emptiness.hh>
Inheritance diagram for spot::emptiness_check:
Public Member Functions | |
emptiness_check (const tgba *a) | |
virtual | ~emptiness_check () |
const tgba * | automaton () const |
The automaton that this emptiness-check inspects. | |
virtual emptiness_check_result * | check ()=0 |
Check whether the automaton contain an accepting run. | |
virtual std::ostream & | print_stats (std::ostream &os) const |
Print statistics, if any. | |
Protected Attributes | |
const tgba * | a_ |
The automaton. |
|
|
|
|
|
The automaton that this emptiness-check inspects.
|
|
Check whether the automaton contain an accepting run. Return 0 if the automaton accept 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. Implemented in spot::couvreur99_check, and spot::couvreur99_check_shy. |
|
Print statistics, if any.
Reimplemented in spot::couvreur99_check. |
|
The automaton.
|