spot
0.8.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_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 |
LTL formula interface.