spot
1.1.4
|
#include "ta/taproduct.hh"
#include "misc/optionmap.hh"
#include "tgbaalgos/gtec/nsheap.hh"
#include "tgbaalgos/emptiness_stats.hh"
#include <stack>
#include <queue>
Go to the source code of this file.
Classes | |
class | spot::ta_check |
An implementation of the emptiness-check algorithm for a product between a TA and a Kripke structure. More... | |
Namespaces | |
spot | |