|
spot
1.2.6
|
LTL atomic propositions. More...
#include "refformula.hh"#include <string>#include <iosfwd>#include <map>#include "ltlenv/environment.hh"

Go to the source code of this file.
Classes | |
| class | spot::ltl::atomic_prop |
| Atomic propositions. More... | |
Functions | |
| const atomic_prop * | spot::ltl::is_atomic_prop (const formula *f) |
LTL atomic propositions.
1.8.4