spot  0.9.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 Wed May 23 2012 12:06:46 for spot by doxygen 1.7.6.1