spot
1.0.1
|
#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 | |
namespace | spot |