spot
0.8.1
|
LTL visitor interface. More...
#include "predecl.hh"
Go to the source code of this file.
Classes | |
struct | spot::ltl::visitor |
Formula visitor that can modify the formula.Writing visitors is the prefered way to traverse a formula, since it doesn't involve any cast. More... | |
struct | spot::ltl::const_visitor |
Formula visitor that cannot modify the formula. More... | |
Namespaces | |
namespace | spot |
namespace | spot::ltl |
LTL visitor interface.