spot
1.0.1
|
#include <ltlast/formula_tree.hh>
Public Attributes | |
multop::type | op |
node_ptr | lhs |
node_ptr | rhs |
node_ptr spot::ltl::formula_tree::node_multop::lhs |
multop::type spot::ltl::formula_tree::node_multop::op |
node_ptr spot::ltl::formula_tree::node_multop::rhs |