spot
1.2.4
|
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.