/** * 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); }