spot
1.0
|
#include "tgba/tgba.hh"
#include "tgba/tgbaproduct.hh"
#include "misc/fixpool.hh"
#include "kripke/kripke.hh"
#include "tgta.hh"
Go to the source code of this file.
Classes | |
class | spot::tgta_product |
A lazy product. (States are computed on the fly.) More... | |
class | spot::tgta_succ_iterator_product |
Iterate over the successors of a product computed on the fly. More... |
Namespaces | |
namespace | spot |