23 #ifndef SPOT_LTLVISIT_LENGTH_HH
24 # define SPOT_LTLVISIT_LENGTH_HH
45 int length(
const formula* f);
57 #endif // SPOT_LTLVISIT_LENGTH_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API int length(const formula *f)
Compute the length of a formula.
SPOT_API int length_boolone(const formula *f)
Compute the length of a formula, squashing Boolean formulae.