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

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


Classes

class  spot::bdd_dict
class  spot::state
 Abstract class for states. More...
struct  spot::state_ptr_less_than
 Strict Weak Ordering for state*. More...
struct  spot::state_ptr_equal
 An Equivalence Relation for state*. More...
struct  spot::state_ptr_hash
 Hash Function for state*. More...
class  spot::tgba_succ_iterator
 Iterate over the successors of a state. More...
class  spot::tgba
 A Transition-based Generalized Büchi Automaton. More...

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