Searched refs:date_string_end (Results 1 – 1 of 1) sorted by relevance
326 date_string_end = date_string.end(); in from_simple_string_type() local328 date_type d1 = from_stream_type<date_type>(date_string_start, date_string_end, value_type()); in from_simple_string_type()330 date_string_start = date_string.begin(), date_string_end = date_string.end(); in from_simple_string_type()331 date_type d2 = from_stream_type<date_type>(date_string_start, date_string_end, value_type()); in from_simple_string_type()