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