Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

ltlvisit/length.hh File Reference

#include "ltlast/formula.hh"

Include dependency graph for length.hh:

Include dependency graph

Go to the source code of this file.

Namespaces

namespace  spot
namespace  spot::ltl

Functions

int length (const formula *f)
 Compute the length of a formula.


Function Documentation

int length const formula *  f  ) 
 

Compute the length of a formula.

The length of a formula is the number of atomic properties, constants, and operators (logical and temporal) occurring in the formula.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Aug 13 14:42:39 2004 for spot by doxygen 1.3.8