spot
0.9.1
|
LTL formula interface. More...
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. |
LTL formula interface.