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

const formulainstanciate (const node_ptr np, const std::vector< const 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.

const formula* spot::ltl::formula_tree::instanciate ( const node_ptr  np,
const std::vector< const 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 Wed Mar 6 2013 09:25:17 for spot by doxygen 1.8.1.2