diff --git a/alib2data/src/automaton/TA/DFTA.h b/alib2data/src/automaton/TA/DFTA.h
index b1782042b22e119ef535b1b16468481df2ffbe98..c715f84093c239965417f84fc9f65768d9c1e228 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 1f458e08218f6aa34e9bd5ae6563094b05ae5a35..8855b1ae37da070938630743ea0e0ffd84e1796a 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.
 	 *