spot
1.0.2
|
LTL visitor interface. More...
#include "predecl.hh"
Go to the source code of this file.
Classes | |
struct | spot::ltl::visitor |
Formula visitorImplementing visitors is the prefered way to traverse a formula, since it does not involve any cast. More... |
Namespaces | |
namespace | spot |
namespace | spot::ltl |
LTL visitor interface.