From f9de6271d2ddc5350f9141915a1e6d5c321de1e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Mon, 24 Feb 2014 19:22:28 +0100
Subject: [PATCH] Condition logic fix
---
aconversions/src/fa2re/StateElimination.cpp | 2 +-
aconversions/src/re2fa/Brzozowski.cpp | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/aconversions/src/fa2re/StateElimination.cpp b/aconversions/src/fa2re/StateElimination.cpp
index 90535ae132..1d5f542ede 100644
--- a/aconversions/src/fa2re/StateElimination.cpp
+++ b/aconversions/src/fa2re/StateElimination.cpp
@@ -204,7 +204,7 @@ bool StateElimination::TransitionExtendedNFA::operator<( const StateElimination:
{
if( m_from != x.m_from )
return m_from < x.m_from;
- else if( ! ( m_regexp == x.m_regexp ) )
+ else if( m_regexp != x.m_regexp )
return m_regexp < x.m_regexp;
else
return m_to < x.m_to;
diff --git a/aconversions/src/re2fa/Brzozowski.cpp b/aconversions/src/re2fa/Brzozowski.cpp
index 023b21608c..1ba137b7ff 100644
--- a/aconversions/src/re2fa/Brzozowski.cpp
+++ b/aconversions/src/re2fa/Brzozowski.cpp
@@ -88,9 +88,9 @@ Brzozowski::BrzozowskiTransition::BrzozowskiTransition( const RegExp & from, con
bool Brzozowski::BrzozowskiTransition::operator<( const BrzozowskiTransition & x ) const
{
- if( ! ( m_from == x.m_from ) )
+ if( m_from != x.m_from )
return m_from < x.m_from;
- else if( ! ( m_regexpSymbol == x.m_regexpSymbol ) )
+ else if( m_regexpSymbol != x.m_regexpSymbol )
return m_regexpSymbol < x.m_regexpSymbol;
else
return m_to < x.m_to;
--
GitLab