spot
1.1.4
|
Classes | |
class | spot::tgba_kv_complement |
Build a complemented automaton. More... | |
class | spot::state_product |
A state for spot::tgba_product. More... | |
class | spot::tgba_safra_complement |
Build a complemented automaton. More... | |
class | spot::tgba_sgba_proxy |
Change the labeling-mode of spot::tgba on the fly, producing a state-based generalized Büchi automaton. More... | |
class | spot::tgba_tba_proxy |
Degeneralize a spot::tgba on the fly, producing a TBA. More... | |
class | spot::tgba_sba_proxy |
Degeneralize a spot::tgba on the fly, producing an SBA. More... | |
class | spot::state_union |
A state for spot::tgba_union. More... | |
Functions | |
tgba * | spot::wdba_complement (const tgba *aut) |
Complement a weak deterministic Büchi automaton. More... | |
tgba* spot::wdba_complement | ( | const tgba * | aut) |
Complement a weak deterministic Büchi automaton.
aut | a weak deterministic Büchi automaton to complement |