Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

TGBA representations
[TGBA (Transition-based Generalized Büchi Automata)]


Classes

class  spot::state_bdd
class  spot::tgba_succ_iterator_concrete
class  spot::tgba_bdd_concrete
 A concrete spot::tgba implemented using BDDs. More...
class  spot::tgba_explicit
class  spot::state_explicit
class  spot::tgba_explicit_succ_iterator
class  spot::tgba_reduc

Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:55:19 2005 for spot by doxygen 1.4.0