spot  1.0
Classes | Namespaces
tgbaunion.hh File Reference
#include "tgba.hh"
Include dependency graph for tgbaunion.hh:

Go to the source code of this file.

Classes

class  spot::state_union
 A state for spot::tgba_union.This state is in fact a pair. If the first member equals 0 and the second is different from 0, the state belongs to the left automaton. If the first member is different from 0 and the second is 0, the state belongs to the right automaton. If both members are 0, the state is the initial state. More...
class  spot::tgba_succ_iterator_union
 Iterate over the successors of an union computed on the fly. More...
class  spot::tgba_union
 A lazy union. (States are computed on the fly.) More...

Namespaces

namespace  spot

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:32 for spot by doxygen 1.8.1.2