From 4b43871ad408bd5fcd5c0dfa06a25b9514ce8c6b Mon Sep 17 00:00:00 2001
From: Jan Travnicek <jan.travnicek@.fit.cvut.cz>
Date: Tue, 19 Mar 2019 15:57:52 +0100
Subject: [PATCH] remove unimplemented methods from DFTA and NFTA

---
 alib2data/src/automaton/TA/DFTA.h | 9 ---------
 alib2data/src/automaton/TA/NFTA.h | 9 ---------
 2 files changed, 18 deletions(-)

diff --git a/alib2data/src/automaton/TA/DFTA.h b/alib2data/src/automaton/TA/DFTA.h
index b1782042b2..c715f84093 100644
--- a/alib2data/src/automaton/TA/DFTA.h
+++ b/alib2data/src/automaton/TA/DFTA.h
@@ -298,15 +298,6 @@ public:
 		return std::move ( transitions );
 	}
 
-	/* Get the target state of a transition identified by input symbol and source trantition
-	 *
-	 * \param symbol the input symbol
-	 * \param states source states
-	 *
-	 * \return target state
-	 */
-	ext::set < StateType > getTransitionRightSide ( const common::ranked_symbol < SymbolType, RankType > symbol, const ext::vector < StateType > & states );
-
 	/**
 	 * \brief Computes number of transitions in the automaton
 	 *
diff --git a/alib2data/src/automaton/TA/NFTA.h b/alib2data/src/automaton/TA/NFTA.h
index 1f458e0821..8855b1ae37 100644
--- a/alib2data/src/automaton/TA/NFTA.h
+++ b/alib2data/src/automaton/TA/NFTA.h
@@ -318,15 +318,6 @@ public:
 		return std::move ( transitions );
 	}
 
-	/* Get the target states of a transition identified by input symbol and source trantition
-	 *
-	 * \param symbol the input symbol
-	 * \param states source states
-	 *
-	 * \return target states
-	 */
-	ext::set < StateType > getTransitionRightSide ( const common::ranked_symbol < SymbolType, RankType > symbol, const ext::vector < StateType > & states );
-
 	/**
 	 * \brief Determines whether the automaton is deterministic.
 	 *
-- 
GitLab