Searched refs:otr (Results 1 – 1 of 1) sorted by relevance
4158 enum fme_state rtr, otr; in hypothesise() local4176 otr = effects_test(fmep, ep, at_latest_by, &my_delay); in hypothesise()4177 if (otr != FME_DISPROVED) { in hypothesise()4186 otr = causes_test(fmep, ep, at_latest_by, &my_delay); in hypothesise()4187 if ((otr == FME_WAIT) && (my_delay < overall_delay)) in hypothesise()4189 if ((otr != FME_DISPROVED) && in hypothesise()4190 ((rtr == FME_WAIT) || (otr == FME_WAIT))) in hypothesise()4201 if ((otr == FME_DISPROVED) && is_problem(ep->t)) { in hypothesise()4209 if (otr == FME_DISPROVED) { in hypothesise()4217 if ((rtr == FME_WAIT) || (otr == FME_WAIT)) { in hypothesise()