Commit 8d5b2ec3 authored by Etienne Renault's avatar Etienne Renault

ltsmin: remove useless code

* spot/ltsmin/spins_kripke.hh: here.
parent b156f441
// -*- coding: utf-8 -*-
// Copyright (C) 2017 Laboratoire de Recherche et Développement de
// Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement de
// l'Epita (LRDE)
//
// This file is part of Spot, a model checking library.
......@@ -62,23 +62,6 @@ namespace spot
}
};
/// \brief This class provides a hasher as required by the bricks classes
struct cspins_state_hasher
{
cspins_state_hasher(cspins_state&) { }
cspins_state_hasher() = default;
brick::hash::hash128_t hash(cspins_state t) const
{
// FIXME we should compute a better hash value for this particular
// case. Shall we use two differents hash functions?
return std::make_pair(t[0], t[0]);
}
bool equal(cspins_state lhs, cspins_state rhs) const
{
return 0 == memcmp(lhs, rhs, (2+rhs[1])* sizeof(int));
}
};
/// \brief The management of states (i.e. allocation/deallocation) can
/// be painless since every time we have to consider wether the state will
/// be compressed or not. This class aims to simplify this management
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment