spot  2.3.5
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 Jun 22 2017 07:46:14 for spot by doxygen 1.8.13