statebdd.hh 402 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
18
19
20
21
22
23
    bdd 
    as_bdd() const
    {
      return state_;
    }
    
    virtual int compare(const state* other) const;
24
25
26
27
28
29
30

  protected:
    bdd state_;
  };
}

#endif // SPOT_TGBA_STATEBDD_HH