|
spot
1.2.6
|
Trees representing formulae where atomic propositions are unknown. More...
#include "formula.hh"#include <vector>#include <boost/shared_ptr.hpp>#include "multop.hh"#include "binop.hh"#include "unop.hh"#include "nfa.hh"
Go to the source code of this file.
Classes | |
| struct | spot::ltl::formula_tree::node |
| struct | spot::ltl::formula_tree::node_unop |
| struct | spot::ltl::formula_tree::node_binop |
| struct | spot::ltl::formula_tree::node_multop |
| struct | spot::ltl::formula_tree::node_nfa |
| struct | spot::ltl::formula_tree::node_atomic |
Namespaces | |
| spot::ltl::formula_tree | |
| Trees representing formulae where atomic propositions are unknown. | |
Typedefs | |
| typedef boost::shared_ptr< node > | spot::ltl::formula_tree::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 * | spot::ltl::formula_tree::instanciate (const node_ptr np, const std::vector< const formula * > &v) |
| size_t | spot::ltl::formula_tree::arity (const node_ptr np) |
| Get the arity. More... | |
Trees representing formulae where atomic propositions are unknown.
1.8.4