spot
0.9.1
|
#include <tgba/tgbaexplicit.hh>
Public Member Functions | |
void | destroy (const ltl::formula *t) |
void spot::destroy_key< const ltl::formula * >::destroy | ( | const ltl::formula * | t | ) | [inline] |
References spot::ltl::formula::destroy().