From 7eb5f53e9f2c99f41b636d98aa4521dbda2cc57d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Wed, 30 Apr 2014 16:14:17 +0200
Subject: [PATCH] aconversions: Elimination: constraint
---
aconversions/src/fa2re/StateElimination.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/aconversions/src/fa2re/StateElimination.cpp b/aconversions/src/fa2re/StateElimination.cpp
index 4246999c6c..76cc3e41f0 100644
--- a/aconversions/src/fa2re/StateElimination.cpp
+++ b/aconversions/src/fa2re/StateElimination.cpp
@@ -17,7 +17,8 @@ namespace conversions
StateElimination::StateElimination( const FSM & automaton ) : m_automaton( automaton )
{
-
+ if( automaton.getFinalStates( ).size( ) <= 0 )
+ throw AlibException( "aconversion: Automaton's final states set must not be empty." );
}
StateElimination::~StateElimination( void )
--
GitLab