spot
1.2.6
|
Predeclare all LTL node types. More...
Go to the source code of this file.
Predeclare all LTL node types.
This file is usually used when declaring methods and functions over LTL nodes. Use ltlast/allnodes.hh or an individual header when the definition of the node is actually needed.