/**
* Convert the NBA to a DRA using Safra's algorithm, using stuttering
* @param nba the NBA
* @param dra_result the result DRA
* @param limit limit for the size of the DRA
*/
//template < typename NBA_t, typename DRA_t >
void convert_safra_stuttered(NBA nba, DRA dra_result, int limit) //=0
{
SafraAlgorithm safras_algo = new SafraAlgorithm(nba, _options);
StutteredNBA2DA nba2dra_stuttered = new StutteredNBA2DA(_detailed_states, _stutter_information);
nba2dra_stuttered.convert(safras_algo, dra_result, limit);
}
//=0
/**
* Convert the NBA to a DRA using Safra's algorithm, using stuttering
* @param nba the NBA
* @param dra_result the result DRA
* @param limit limit for the size of the DRA
*/
//template < typename NBA_t, typename DRA_t >
void convert_safra_stuttered(NBA nba, DRA dra_result, int limit)
{
SafraAlgorithm safras_algo = new SafraAlgorithm(nba, _options);
StutteredNBA2DA nba2dra_stuttered = new StutteredNBA2DA(_detailed_states, _stutter_information);
nba2dra_stuttered.convert(safras_algo, dra_result, limit);
}
