spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Namespaces | Typedefs | Enumerations | Functions
formula_tree.hh File Reference

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"
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

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

Detailed Description

Trees representing formulae where atomic propositions are unknown.


Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:11 for spot by doxygen 1.8.4