Searched refs:short_cut (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c3117 short_cuts(con_info *con, prop_info *prop, int *short_cut) argument
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, solve local
4295 int status, delayed, short_cut, solved; local
[all...]

Completed in 39 milliseconds