spot  1.0.1
Modules | Classes
SABA (State-based Alternating Büchi Automata)

Modules

 Essential SABA types

Classes

class  spot::saba_complement_tgba
 Complement a TGBA and produce a SABA.The original TGBA is transformed into a States-based Büchi Automaton. More...

Detailed Description

Spot was centered around non-deterministic TGBA (Transition-based Generalized Büchi Automata). Alternating automata are an extension to non-deterministic automata, and are presented with spot::saba. This type and its cousins are listed here. This is an abstract interface.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:01 for spot by doxygen 1.8.1.2