Skip to content
Snippets Groups Projects
Commit 4b43871a authored by Jan Travnicek's avatar Jan Travnicek Committed by Jan Trávníček
Browse files

remove unimplemented methods from DFTA and NFTA

parent b5147fb8
No related branches found
No related tags found
1 merge request!73Dev jt
Pipeline #34202 passed
......@@ -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
*
......
......@@ -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.
*
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment