state.hh 664 Bytes
Newer Older
1
2
3
#ifndef SPOT_TGBA_STATE_HH
# define SPOT_TGBA_STATE_HH

4
5
#include <bdd.h>

6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
namespace spot
{
  class state
  {
  public:
    // Compares two states (that come from the same automaton).
    //
    // This method returns an integer less than, equal to, or greater
    // than zero if THIS is found, respectively, to be less than, equal
    // to, or greater than OTHER according to some implicit total order.
    //
    // This method should not be called to compare state from
    // different automata.
    virtual int compare(const state& other) const = 0;

21
22
    virtual bdd as_bdd() const = 0;

23
24
25
26
27
28
29
    virtual ~state()
    {
    }
  };
}

#endif // SPOT_TGBA_STATE_HH