From 6aa05b78feb22322b53a28aee099babc1a8caa85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Tue, 4 Mar 2014 22:48:28 +0100
Subject: [PATCH] Fix FA->RE equations compile error
---
aconversions/src/fa2re/BrzozowskiAlgebraic.cpp | 2 ++
aconversions/src/fa2re/BrzozowskiAlgebraic.h | 4 ++--
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp b/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp
index 1a4d8b99b7..aa9ef137b6 100644
--- a/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp
+++ b/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp
@@ -30,10 +30,12 @@ void BrzozowskiAlgebraic::initEquations( void )
m_solver.addSymbol( Symbol( q.getName( ) ) );
for( const auto & q : m_automaton.getStates( ) )
+ {
if( isInSet( q, m_automaton.getFinalStates( ) ) )
m_solver.addEquation( Symbol( q.getName( ) ), new RegExpEpsilon( ) );
else
m_solver.addEquation( Symbol( q.getName( ) ), new RegExpEmpty( ) );
+ }
for( const auto & p : m_automaton.getStates( ) )
diff --git a/aconversions/src/fa2re/BrzozowskiAlgebraic.h b/aconversions/src/fa2re/BrzozowskiAlgebraic.h
index 9e25beacf2..052406d8cb 100644
--- a/aconversions/src/fa2re/BrzozowskiAlgebraic.h
+++ b/aconversions/src/fa2re/BrzozowskiAlgebraic.h
@@ -21,7 +21,7 @@
#include <regexp/RegExpEpsilon.h>
#include "AbstractFAtoREConverter.h"
-#include "../shared/RegularEquationSolver.h"
+#include "../shared/RightRegularEquationSolver.h"
namespace conversions
{
@@ -43,7 +43,7 @@ public:
private:
void initEquations( void );
- RegularEquationSolver m_solver;
+ RightRegularEquationSolver m_solver;
};
} /* namespace conversions */
--
GitLab