/** Constructor.
* @param algo The Algorithm_t to use
* @param da_result The result automaton
* @param limit Limit the number of states in the result automaton?
* @param detailed_states Generate detailed descriptions?
* @param stutter_information Information about which symbols may be stuttered
*/
public StutteredConvertor(SafraAlgorithm algo, DRA da_result, int limit, bool detailed_states, StutterSensitivenessInformation stutter_information)
{
_da_result = da_result;
_limit = limit;
_algo = algo;
_detailed_states = detailed_states;
_stutter_information = stutter_information;
//added by ly
_state_mapper = new StateMapper <TreeWithAcceptance, DA_State>();
_unprocessed = new Stack <KeyValuePair <TreeWithAcceptance, DA_State> >();
}
//typedef typename DA_t::acceptance_condition_type Acceptance;
/** Constructor.
* detailed_states Generate detailed descriptions for the states?
* stutter_information Information which symbols may be stuttered
*/
public StutteredNBA2DA(bool detailed_states, StutterSensitivenessInformation stutter_information)
{
_detailed_states = detailed_states;
_stutter_information = stutter_information;
Debug.Assert(_stutter_information != null);
}
