spot
1.2.4
|
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.