spot  1.0.1
Classes | Namespaces | Functions
formula.hh File Reference

LTL formula interface. More...

#include <string>
#include <cassert>
#include "predecl.hh"
#include <list>
Include dependency graph for formula.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  spot::ltl::formula
 An LTL formula.The only way you can work with a formula is to build a spot::ltl::visitor or spot::ltl::const_visitor. More...
struct  spot::ltl::formula::ltl_prop
struct  spot::ltl::formula_ptr_less_than
 Strict Weak Ordering for const formula*.This is meant to be used as a comparison functor for STL map whose key are of type const formula*. More...
struct  spot::ltl::formula_ptr_hash
 Hash Function for const formula*.This is meant to be used as a hash functor for Sgi's hash_map whose key are of type const formula*. More...

Namespaces

namespace  spot
namespace  spot::ltl

Functions

std::ostream & spot::ltl::print_formula_props (std::ostream &out, const formula *f, bool abbreviated=false)
 Print the properties of formula f on stream out.
std::list< std::string > spot::ltl::list_formula_props (const formula *f)
 List the properties of formula f.

Detailed Description

LTL formula interface.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:01 for spot by doxygen 1.8.1.2