spot
0.8.3
|
#include "ltlast/formula.hh"
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
formula * | spot::ltl::basic_reduce (const formula *f) |
Basic rewritings. | |
bool | spot::ltl::is_GF (const formula *f) |
Whether a formula starts with GF. | |
bool | spot::ltl::is_FG (const formula *f) |
Whether a formula starts with FG. |