spot  0.8.1
Classes
LTL environments
LTL formulae

Classes

class  spot::ltl::declarative_environment
 A declarative environment.This environment recognizes all atomic propositions that have been previously declared. It will reject other. More...
class  spot::ltl::default_environment
 A laxist environment.This environment recognizes all atomic propositions. More...

Detailed Description

LTL environment implementations.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1