spot
0.8.3
|
#include <stack>
#include "status.hh"
#include "tgbaalgos/emptiness.hh"
#include "tgbaalgos/emptiness_stats.hh"
Go to the source code of this file.
Classes | |
class | spot::couvreur99_check |
An implementation of the Couvreur99 emptiness-check algorithm. More... | |
class | spot::couvreur99_check_shy |
A version of spot::couvreur99_check that tries to visit known states first. More... | |
struct | spot::couvreur99_check_shy::successor |
struct | spot::couvreur99_check_shy::todo_item |
Namespaces | |
namespace | spot |
Functions | |
emptiness_check * | spot::couvreur99 (const tgba *a, option_map options=option_map(), const numbered_state_heap_factory *nshf=numbered_state_heap_hash_map_factory::instance()) |
Check whether the language of an automate is empty. |