spot
1.1.3
|
#include "ltlast/formula.hh"
Go to the source code of this file.
Namespaces | |
spot | |
spot::ltl | |
Functions | |
int | spot::ltl::length (const formula *f) |
Compute the length of a formula. More... | |
int | spot::ltl::length_boolone (const formula *f) |
Compute the length of a formula, squashing Boolean formulae. More... | |