spot::ltlf_simplifier Class Reference

Cheap simplification rules for LTLf formulas. More...

#include <spot/tl/ltlf.hh>

Collaboration diagram for spot::ltlf_simplifier:

Public Member Functions
formula	simplify (formula f, bool negated=false)

Detailed Description

Cheap simplification rules for LTLf formulas.

---

The documentation for this class was generated from the following file:

• spot/tl/ltlf.hh