Define all LTL node types. More...
#include "binop.hh"
#include <map>
#include <iosfwd>
#include "formula.hh"
#include "refformula.hh"
#include <vector>
#include <string>
#include "nfa.hh"
Go to the source code of this file.
Define all LTL node types.
This file is usually needed when defining a visitor. Prefer ltlast/predecl.hh when only declaring methods and functions over LTL nodes.