spot::mark_tools Class Referencefinal
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) |
The documentation for this class was generated from the following file:
- spot/tl/mark.hh
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on for spot by
1.15.0