spot
1.0.2
|
#include <ltlast/formula_tree.hh>
Public Attributes | |
std::vector< node_ptr > | children |
spot::ltl::nfa::ptr | nfa |
std::vector<node_ptr> spot::ltl::formula_tree::node_nfa::children |
spot::ltl::nfa::ptr spot::ltl::formula_tree::node_nfa::nfa |