Lines Matching refs:short_cut
3117 short_cuts(con_info *con, prop_info *prop, int *short_cut)
3119 *short_cut = SHORT_ERROR;
3133 *short_cut = SHORT_ENTAILED;
3140 *short_cut = SHORT_ENTAILED;
3149 *short_cut = SHORT_LWB;
3164 *short_cut = SHORT_ENTAILED;
3171 *short_cut = SHORT_UPB;
3177 *short_cut = SHORT_ENTAILED;
3187 *short_cut = SHORT_NONE;
3453 int result, short_cut, solved;
3494 result = short_cuts(&con, &prop, &short_cut);
3497 switch(short_cut) {
4295 int status, delayed, short_cut, solved;
4368 result = short_cuts(&con, &prop, &short_cut);
4371 switch(short_cut) {