22 #ifndef SPOT_LTLAST_FORMULA_TREE_HH
23 # define SPOT_LTLAST_FORMULA_TREE_HH
27 # include <boost/shared_ptr.hpp>
38 namespace formula_tree
69 std::vector<node_ptr> children;
70 spot::ltl::nfa::ptr
nfa;
73 enum { True = -1, False = -2 };
82 const std::vector<const formula*>& v);
90 #endif // SPOT_LTLAST_FORMULA_TREE_HH_
type
Definition: binop.hh:49
NFA interface used by automatop.
Nondeterministic Finite Automata used by automata operators.
Definition: nfa.hh:50
LTL multi-operand operators.