Searched refs:MPS_FLAG_REAL (Results 1 – 2 of 2) sorted by relevance
158 input_option.flag = MPS_FLAG_REAL; in mps_parse_option_line()341 else if (input_option.flag == MPS_FLAG_REAL) in mps_parse_abstract_stream()
345 MPS_FLAG_REAL, enumerator