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
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:11 for spot by
1.8.4