|
spot
1.2.6
|
LTL formula interface. More...
#include "misc/common.hh"#include <string>#include <cassert>#include "predecl.hh"#include <list>

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_less_than_bool_first |
Strict Weak Ordering for const formula* inside ltl::multop.This is the comparison functor used by to order the ltl::multop operands. It keeps Boolean formulae first in order to speed up implication checks. More... | |
| struct | spot::ltl::formula_ptr_hash |
Hash Function for const formula*. More... | |
Functions | |
| SPOT_API const formula * | spot::ltl::get_literal (const formula *f) |
Change f into a if it is equal to !a or a. More... | |
| bool | spot::ltl::is_literal (const formula *f) |
| Return true iff f is a literal. More... | |
| SPOT_API int | spot::ltl::atomic_prop_cmp (const formula *f, const formula *g) |
| Compare two atomic propositions. More... | |
| SPOT_API 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... | |
| SPOT_API std::list< std::string > | spot::ltl::list_formula_props (const formula *f) |
| List the properties of formula f. More... | |
LTL formula interface.
1.8.4