spot  2.7
Modules
Temporal Logic

Modules

 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 spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13