spot
0.8.2
|
Go to the source code of this file.
Classes | |
class | spot::tgba_sgba_proxy |
Change the labeling-mode of spot::tgba on the fly, producing a state-based generalized Büchi automaton.This class acts as a proxy in front of a spot::tgba, that should label on states on-the-fly. The result is still a spot::tgba, but acceptances conditions are also on states. More... | |
Namespaces | |
namespace | spot |