Classes | Namespaces | Typedefs | Enumerations | Functions

formula_tree.hh File Reference

Trees representing formulae where atomic propositions are unknown. More...

#include <vector>
#include <boost/shared_ptr.hpp>
#include "formula.hh"
#include "multop.hh"
#include "binop.hh"
#include "unop.hh"
#include "nfa.hh"
Include dependency graph for formula_tree.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

namespace  spot
namespace  spot::ltl
namespace  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.

Enumerations

enum  { spot::ltl::formula_tree::True = -1, spot::ltl::formula_tree::False = -2 }
 

Integer values for True and False used in node_atomic.

More...

Functions

formula * spot::ltl::formula_tree::instanciate (const node_ptr np, const std::vector< formula * > &v)
size_t spot::ltl::formula_tree::arity (const node_ptr np)
 Get the arity.

Detailed Description

Trees representing formulae where atomic propositions are unknown.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Feb 7 2011 14:29:29 for spot by doxygen 1.7.1