spot  0.8.1
Namespaces
predecl.hh File Reference

Predeclare all LTL node types. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  spot
namespace  spot::ltl

Detailed Description

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.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1