spot
1.1.3
|
#include <ltlast/formula_tree.hh>
Public Attributes | |
binop::type | op |
node_ptr | lhs |
node_ptr | rhs |
node_ptr spot::ltl::formula_tree::node_binop::lhs |
binop::type spot::ltl::formula_tree::node_binop::op |
node_ptr spot::ltl::formula_tree::node_binop::rhs |