spot  1.0
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 Sat Oct 27 2012 09:34:32 for spot by doxygen 1.8.1.2