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);
85 size_t arity(
const node_ptr np);
90 #endif // SPOT_LTLAST_FORMULA_TREE_HH_
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
NFA interface used by automatop.
type
Definition: binop.hh:49
Nondeterministic Finite Automata used by automata operators.
Definition: nfa.hh:50
LTL multi-operand operators.