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