#include <ltlast/formula_tree.hh>
List of all members.
Public Member Functions |
virtual | ~node () |
Constructor & Destructor Documentation
virtual spot::ltl::formula_tree::node::~node |
( |
| ) |
|
|
inlinevirtual |
The documentation for this struct was generated from the following file: