23 #include "twaproxy.hh"
34 SPOT_API const_twa_ptr
36 const state_set& to_keep,
37 const state* init = 0);
45 SPOT_API const_twa_ptr
47 const state_set& to_ignore,
48 const state* init = 0);
62 SPOT_API const_twa_ptr
65 const state* init = 0);
SPOT_API const_twa_ptr 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.
SPOT_API const_twa_ptr 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.
SPOT_API const_twa_ptr 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.