spot  0.8.2
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 Thu Jan 19 2012 19:33:05 for spot by doxygen 1.7.6.1