#include <map>
#include "tgba/state.hh"
#include "emptiness.hh"
#include <list>
#include <iosfwd>
#include <bdd.h>
#include <string>
#include <cassert>
#include <cstring>
#include <functional>
Go to the source code of this file.
Classes | |
class | spot::bfs_steps |
Make a BFS in a spot::tgba to compute a tgba_run::steps.This class should be used to compute the shortest path between a state of a spot::tgba and the first transition or state that matches some conditions. More... | |
Namespaces | |
namespace | spot |