spot
1.2.4
|
Classes | |
class | spot::tgba_kv_complement |
Build a complemented automaton. More... | |
class | spot::tgba_mask |
A masked TGBA (abstract). More... | |
class | spot::state_product |
A state for spot::tgba_product. More... | |
class | spot::tgba_proxy |
A TGBA proxy. 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 | |
SPOT_API const tgba * | spot::build_tgba_mask_keep (const tgba *to_mask, const state_set &to_keep, const state *init=0) |
Mask a TGBA, keeping a given set of states. More... | |
SPOT_API const tgba * | spot::build_tgba_mask_ignore (const tgba *to_mask, const state_set &to_ignore, const state *init=0) |
Mask a TGBA, rejecting a given set of states. More... | |
SPOT_API tgba * | spot::wdba_complement (const tgba *aut) |
Complement a weak deterministic Büchi automaton. More... | |
SPOT_API const tgba* spot::build_tgba_mask_ignore | ( | const tgba * | to_mask, |
const state_set & | to_ignore, | ||
const state * | init = 0 |
||
) |
Mask a TGBA, rejecting a given set of states.
Mask the TGBA to_mask, keeping only the states that are not in to_ignore. The initial state can optionally be reset to init.
SPOT_API const tgba* spot::build_tgba_mask_keep | ( | const tgba * | to_mask, |
const state_set & | to_keep, | ||
const state * | init = 0 |
||
) |
Mask a TGBA, keeping a given set of states.
Mask the TGBA to_mask, keeping only the states from to_keep. The initial state can optionally be reset to init.
SPOT_API tgba* spot::wdba_complement | ( | const tgba * | aut) |
Complement a weak deterministic Büchi automaton.
aut | a weak deterministic Büchi automaton to complement |