|
spot
1.2.6
|
Trees representing formulae where atomic propositions are unknown. More...
Classes | |
| struct | node |
| struct | node_unop |
| struct | node_binop |
| struct | node_multop |
| struct | node_nfa |
| struct | node_atomic |
Typedefs | |
| typedef boost::shared_ptr< node > | node_ptr |
| We use boost::shared_ptr to easily handle deletion. More... | |
Enumerations | |
| enum | { True = -1, False = -2 } |
| Integer values for True and False used in node_atomic. More... | |
Functions | |
| const formula * | instanciate (const node_ptr np, const std::vector< const formula * > &v) |
| size_t | arity (const node_ptr np) |
| Get the arity. More... | |
Trees representing formulae where atomic propositions are unknown.
Forward declaration. NFA's labels are reprensented by nodes which are defined in formula_tree.hh, included in nfa.cc.
| typedef boost::shared_ptr<node> spot::ltl::formula_tree::node_ptr |
We use boost::shared_ptr to easily handle deletion.
| anonymous enum |
Integer values for True and False used in node_atomic.
| size_t spot::ltl::formula_tree::arity | ( | const node_ptr | np) |
Get the arity.
| const formula* spot::ltl::formula_tree::instanciate | ( | const node_ptr | np, |
| const std::vector< const formula * > & | v | ||
| ) |
Instanciate the formula corresponding to the node with atomic propositions taken from v.
1.8.4