spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
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

 spot
 this class acts like a wrapper to the C code of the union find.
 

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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jan 21 2014 16:52:01 for spot by doxygen 1.8.5