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.