spot  2.11.2
Temporal Logic


 Essential Temporal Logic Types
 Input and Output of Formulas
 Rewriting Algorithms for Formulas
 Algorithms related to the temporal hierarchy
 Miscellaneous Algorithms for Formulas

Detailed Description

Spot supports the future-time fragment of LTL, and the linear-time fragment of and PSL formulas. The former is included in the latter. Both types of formulas are represented by instances of the spot::formula class.

Please direct any question, comment, or bug report to the Spot mailing list at
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1