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
	ltlf_simplifier ()
	Build an LTLf simplifier.
	~ltlf_simplifier ()
	Destroy the simplifier.
formula	simplify (formula f, bool negated=false)
	Simplify an LTLf formula.

Detailed Description

Cheap simplification rules for LTLf formulas.

Constructor & Destructor Documentation

ltlf_simplifier()

spot::ltlf_simplifier::ltlf_simplifier

(

)

Build an LTLf simplifier.

~ltlf_simplifier()

spot::ltlf_simplifier::~ltlf_simplifier

(

)

Destroy the simplifier.

Member Function Documentation

simplify()

formula spot::ltlf_simplifier::simplify	(	formula	f,
		bool	negated = false
	)

Simplify an LTLf formula.

---

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

• spot/tl/ltlf.hh