statebdd.cc 476 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include "statebdd.hh"
#include <cassert>

namespace spot
{
  int
  state_bdd::compare(const state& other) const
  {
    // This method should not be called to compare states from different
    // automata, and all states from the same automaton will use the same
    // state class.
    const state_bdd* o = dynamic_cast<const state_bdd*>(&other);
    assert(o);
    return o->as_bdd().id() - state_.id();
  }
16
17
18
19
20
21
22

  bdd
  state_bdd::as_bdd() const
  {
    return state_;
  }

23
}