spot::mark_tools Class Reference

Utilities for marking NegClosure and EConcat operators in temporal formulas. More...

#include <spot/tl/mark.hh>

Collaboration diagram for spot::mark_tools:

Public Member Functions
formula	mark_concat_ops (formula f)
	Mark operators NegClosure and EConcat.
formula	simplify_mark (formula f)
	Simplify marked NegClosure and EConcat operators.

Detailed Description

Utilities for marking NegClosure and EConcat operators in temporal formulas.

Member Function Documentation

mark_concat_ops()

formula spot::mark_tools::mark_concat_ops

(

formula

f

)

Mark operators NegClosure and EConcat.

Parameters

f	The formula to rewrite.

simplify_mark()

formula spot::mark_tools::simplify_mark

(

formula

f

)

Simplify marked NegClosure and EConcat operators.

---

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

• spot/tl/mark.hh