statebdd.hh 368 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#ifndef SPOT_TGBA_STATEBDD_HH
# define SPOT_TGBA_STATEBDD_HH

#include <bdd.h>
#include "state.hh"

namespace spot
{
  class state_bdd: public state
  {
  public:
    state_bdd(bdd s)
      : state_(s)
    {
    }

17
    virtual bdd as_bdd() const;
18
19
20
21
22
23
24
25
    virtual int compare(const state& other) const;

  protected:
    bdd state_;
  };
}

#endif // SPOT_TGBA_STATEBDD_HH