20 #ifndef SPOT_SABA_SABASUCCITER_HH
21 # define SPOT_SABA_SABASUCCITER_HH
23 #include "sabastate.hh"
53 virtual void first() = 0;
59 virtual void next() = 0;
66 virtual bool done()
const = 0;
120 virtual void first() = 0;
126 virtual void next() = 0;
138 virtual bool done()
const = 0;
151 virtual bdd current_condition()
const = 0;
158 #endif // SPOT_TGBA_SUCCITER_HH
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by
1.8.4