spot  2.4.3
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 Tue Dec 19 2017 09:22:59 for spot by doxygen 1.8.13