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

/barrelfish-master/usr/skb/
H A Dshared_lib_dict.h41 extern void short_cuts();
163 {.name="short_cuts",.f=short_cuts},
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c3117 short_cuts(con_info *con, prop_info *prop, int *short_cut) function
3494 result = short_cuts(&con, &prop, &short_cut);
4368 result = short_cuts(&con, &prop, &short_cut);

Completed in 33 milliseconds