spot
1.0
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Class List
Class Hierarchy
Class Members
spot
destroy_key< const ltl::formula * >
Public Member Functions
|
List of all members
spot::destroy_key< const ltl::formula * > Struct Template Reference
#include <
tgba/tgbaexplicit.hh
>
Collaboration diagram for spot::destroy_key< const ltl::formula * >:
Public Member Functions
void
destroy
(const
ltl::formula
*t)
Member Function Documentation
void
spot::destroy_key
< const
ltl::formula
* >::destroy
(
const
ltl::formula
*
t
)
inline
References
spot::ltl::formula::destroy()
.
The documentation for this struct was generated from the following file:
tgba/
tgbaexplicit.hh
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Sat Oct 27 2012 09:34:34 for spot by
1.8.1.2