spot  1.0.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 Jan 23 2013 15:00:02 for spot by doxygen 1.8.1.2