#include "ltlast/formula.hh"
#include "ltlast/visitor.hh"
Go to the source code of this file.
Classes | |
class | spot::ltl::postfix_visitor |
Apply an algorithm on each node of an AST, during a postfix traversal.Override one or more of the postifix_visitor::doit methods with the algorithm to apply. More... | |
Namespaces | |
namespace | spot |
namespace | spot::ltl |