Go to the documentation of this file.
19 #ifndef SPOT_SABA_SABACOMPLEMENTTGBA_HH
20 #define SPOT_SABA_SABACOMPLEMENTTGBA_HH
50 class saba_complement_tgba :
public saba
62 virtual saba_succ_iterator*
63 succ_iter(
const saba_state* local_state)
const;
66 virtual std::string
format_state(
const saba_state* state)
const;
77 #endif // SPOT_SABA_SABACOMPLEMENTTGBA_HH
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:33 for spot by
1.8.4