spot
0.8.2
|
#include "state.hh"
Go to the source code of this file.
Classes | |
class | spot::tgba_succ_iterator |
Iterate over the successors of a state.This class provides the basic functionalities required to iterate over the successors of a state, as well as querying transition labels. Because transitions are never explicitely encoded, labels (conditions and acceptance conditions) can only be queried while iterating over the successors. More... | |
Namespaces | |
namespace | spot |