|
spot
2.3.3.dev
|
LTL/PSL formula interface. More...
#include <spot/misc/common.hh>#include <memory>#include <cstdint>#include <initializer_list>#include <cassert>#include <vector>#include <string>#include <iterator>#include <iosfwd>#include <sstream>#include <list>#include <cstddef>#include <limits>

Go to the source code of this file.
Classes | |
| class | spot::fnode |
| Actual storage for formula nodes. More... | |
| struct | spot::formula_ptr_less_than_bool_first |
| class | spot::formula |
| Main class for temporal logic formula. More... | |
| class | spot::formula::formula_child_iterator |
| Allow iterating over children. More... | |
| struct | std::hash< spot::formula > |
Namespaces | |
| spot | |
Macros | |
| #define | SPOT_DEF_UNOP(Name) |
| #define | SPOT_DEF_BINOP(Name) |
| #define | SPOT_DEF_MULTOP(Name) |
| #define | SPOT_DEF_BUNOP(Name) |
| #define | SPOT_DEF_PROP(Name) |
Functions | |
| int | spot::atomic_prop_cmp (const fnode *f, const fnode *g) |
| Order two atomic propositions. More... | |
| std::ostream & | spot::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::list_formula_props (const formula &f) |
| List the properties of formula f. More... | |
| std::ostream & | spot::operator<< (std::ostream &os, const formula &f) |
| Print a formula. More... | |
LTL/PSL formula interface.
| #define SPOT_DEF_BINOP | ( | Name | ) |
| #define SPOT_DEF_BUNOP | ( | Name | ) |
| #define SPOT_DEF_MULTOP | ( | Name | ) |
| #define SPOT_DEF_PROP | ( | Name | ) |
| #define SPOT_DEF_UNOP | ( | Name | ) |
1.8.13