spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Modules | Classes
TGBA (Transition-based Generalized Büchi Automata)

Modules

 Kripke Structures
 
 Essential TGBA types
 
 TGBA representations
 
 TGBA algorithms
 

Classes

class  spot::future_conditions_collector
 Wrap a tgba to offer information about upcoming conditions. More...
 
class  spot::tgba_scc
 Wrap a tgba to offer information about strongly connected components. More...
 

Detailed Description

Spot is centered around the spot::tgba type. This type and its cousins are listed here. This is an abstract interface. Its implementations are either concrete representations, or on-the-fly algorithms. Other algorithms that work on spot::tgba are listed separately.


Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:11 for spot by doxygen 1.8.4