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