spot  2.4.1
Modules
Temporal Logic

Modules

 Essential Temporal Logic Types
 
 Input and Output of Formulas
 
 Rewriting Algorithms for Formulas
 
 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 Thu Oct 5 2017 20:23:12 for spot by doxygen 1.8.13