spot  0.8.1
Classes | Namespaces
saba.hh File Reference
#include "sabastate.hh"
#include "sabasucciter.hh"
#include <tgba/bdddict.hh>
Include dependency graph for saba.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  spot::saba
 A State-based Alternating (Generalized) Büchi Automaton.Browsing such automaton can be achieved using two functions: get_init_state, and succ_iter. The former returns the initial state while the latter lists the successor states of any state. More...

Namespaces

namespace  spot

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1