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 |