statebdd.cc 435 Bytes
Newer Older
1
#include "statebdd.hh"
2
#include "bddprint.hh"
3
4
5
6
7
#include <cassert>

namespace spot
{
  int
8
  state_bdd::compare(const state* other) const
9
10
11
12
  {
    // 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.
13
    const state_bdd* o = dynamic_cast<const state_bdd*>(other);
14
15
16
17
    assert(o);
    return o->as_bdd().id() - state_.id();
  }
}