20 #ifndef SPOT_TGBA_TGBAMASK_HH
21 # define SPOT_TGBA_TGBAMASK_HH
23 #include "tgbaproxy.hh"
48 virtual state* get_init_state()
const;
51 succ_iter(
const state* local_state,
52 const state* global_state = 0,
53 const tgba* global_automaton = 0)
const;
55 virtual bool wanted(
const state* s)
const = 0;
69 const state_set& to_keep,
70 const state* init = 0);
80 const state_set& to_ignore,
81 const state* init = 0);
85 #endif // SPOT_TGBA_TGBAMASK_HH
A TGBA proxy.
Definition: tgbaproxy.hh:35
Abstract class for states.
Definition: state.hh:40
A masked TGBA (abstract).
Definition: tgbamask.hh:36
SPOT_API const tgba * 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.
Iterate over the successors of a state.
Definition: succiter.hh:38
SPOT_API const tgba * 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.
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67