spot
0.8.1
|
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 |