Searched defs:to_string (Results 1 – 1 of 1) sorted by relevance
1602 const char *to_string) in build_transition()1871 const char *to_string = transitions[tnum].replacement; in build_transition_table() local