Commit a947de25 authored by Etienne Renault's avatar Etienne Renault
Browse files

ltsmin: remove useless code

* spot/ltsmin/spins_kripke.hh: here.
parent 384e5756
// -*- 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
Supports Markdown
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