spot
1.1.4
|
LTL formula interface. More...
Go to the source code of this file.
Classes | |
class | spot::ltl::formula |
An LTL formula. More... | |
struct | spot::ltl::formula::ltl_prop |
struct | spot::ltl::formula_ptr_less_than |
Strict Weak Ordering for const formula* . More... | |
struct | spot::ltl::formula_ptr_hash |
Hash Function for const formula* . More... | |
Namespaces | |
spot | |
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. More... | |
std::list< std::string > | spot::ltl::list_formula_props (const formula *f) |
List the properties of formula f. More... | |
LTL formula interface.