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