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