spot  1.0.2
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 Wed Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2