spot
1.99.1
|
Classes | |
class | spot::state_product |
A state for spot::twa_product. More... | |
class | spot::twa_proxy |
A TGBA proxy. More... | |
class | spot::tgba_safra_complement |
Build a complemented automaton. More... | |
Functions | |
SPOT_API const_twa_ptr | spot::build_twa_mask_keep (const const_twa_ptr &to_mask, const state_set &to_keep, const state *init=0) |
Mask a TGBA, keeping a given set of states. More... | |
SPOT_API const_twa_ptr | spot::build_twa_mask_ignore (const const_twa_ptr &to_mask, const state_set &to_ignore, const state *init=0) |
Mask a TGBA, rejecting a given set of states. More... | |
SPOT_API const_twa_ptr | spot::build_twa_mask_acc_ignore (const const_twa_ptr &to_mask, unsigned to_ignore, const state *init=0) |
Mask a TGBA, rejecting some acceptance set of transitions. More... | |
SPOT_API const_twa_ptr spot::build_twa_mask_acc_ignore | ( | const const_twa_ptr & | to_mask, |
unsigned | to_ignore, | ||
const state * | init = 0 |
||
) |
Mask a TGBA, rejecting some acceptance set of transitions.
This will ignore all transitions that have the TO_IGNORE acceptance mark. The initial state can optionally be reset to init.
Note that the acceptance condition of the automaton (i.e. the set of all acceptance set) is not changed, because so far this function is only needed in graph algorithms that do not call all_acceptance_conditions().
SPOT_API const_twa_ptr spot::build_twa_mask_ignore | ( | const const_twa_ptr & | 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_twa_ptr spot::build_twa_mask_keep | ( | const const_twa_ptr & | 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.