Classes | Typedefs | Enumerations | Functions

spot::ltl::formula_tree Namespace Reference

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< nodenode_ptr
 We use boost::shared_ptr to easily handle deletion.

Enumerations

enum  { True = -1, False = -2 }
 

Integer values for True and False used in node_atomic.

More...

Functions

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

Detailed Description

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 Documentation

typedef boost::shared_ptr<node> spot::ltl::formula_tree::node_ptr

We use boost::shared_ptr to easily handle deletion.


Enumeration Type Documentation

anonymous enum

Integer values for True and False used in node_atomic.

Enumerator:
True 
False 

Function Documentation

size_t spot::ltl::formula_tree::arity ( const node_ptr  np  ) 

Get the arity.

formula* spot::ltl::formula_tree::instanciate ( const node_ptr  np,
const std::vector< formula * > &  v 
)

Instanciate the formula corresponding to the node with atomic propositions taken from v.


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