alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

simplify several comparison operators

Browse source 
* spot/twaalgos/dtbasat.cc, spot/twaalgos/dtwasat.cc,
spot/twaalgos/simulation.cc: Simplify, as reported by sonarcloud.
This commit is contained in:
Alexandre Duret-Lutz 2023-01-05 17:48:14 +01:00
parent 16ad7bdf77
commit 2ba6fba29f
3 changed files with 6 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

8
spot/twaalgos/dtbasat.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013-2018, 2021, 2022 Laboratoire de Recherche et
// Copyright (C) 2013-2018, 2021-2023 Laboratoire de Recherche et
// Développement de l'Epita.
//
// This file is part of Spot, a model checking library.
@ -77,11 +77,7 @@ namespace spot
return true;
if (this->src_ref > other.src_ref)
return false;
if (this->dst_ref < other.dst_ref)
return true;
if (this->dst_ref > other.dst_ref)
return false;
return false;
return this->dst_ref < other.dst_ref;
}
};

8
spot/twaalgos/dtwasat.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013-2022 Laboratoire de Recherche
// Copyright (C) 2013-2023 Laboratoire de Recherche
// et Développement de l'Epita.
//
// This file is part of Spot, a model checking library.
@ -98,11 +98,7 @@ namespace spot
return true;
if (this->acc_ref > other.acc_ref)
return false;
if (this->acc_cand < other.acc_cand)
return true;
if (this->acc_cand > other.acc_cand)
return false;
return false;
return this->acc_cand < other.acc_cand;
}
};

10
spot/twaalgos/simulation.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2012-2022 Laboratoire de Recherche et Développement
// Copyright (C) 2012-2023 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -93,13 +93,7 @@ namespace spot
return true;
if (states > r.states)
return false;
if (edges < r.edges)
return true;
if (edges > r.edges)
return false;
return false;
return edges < r.edges;
}
inline bool operator>(const automaton_size& r)