spot::mark_tools Class Reference

Collaboration diagram for spot::mark_tools:

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

---

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

• spot/tl/mark.hh