tgba.hh 421 Bytes
Newer Older
1 2 3
#ifndef SPOT_TGBA_TGBA_HH
# define SPOT_TGBA_TGBA_HH

4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
#include "statebdd.hh"
#include "succiter.hh"
#include "tgbabdddict.hh"

namespace spot
{
  class tgba
  {
  public:
    virtual
    ~tgba()
    {
    }

    virtual state_bdd get_init_state() const = 0;
    virtual tgba_succ_iterator* succ_iter(state_bdd state) const = 0;

    virtual const tgba_bdd_dict& get_dict() const = 0;
  };

}
25 26

#endif // SPOT_TGBA_TGBA_HH