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

/barrelfish-master/usr/skb/
H A Dshared_lib_dict.h49 extern void setup_1v_con();
171 {.name="setup_1v_con",.f=setup_1v_con},
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c4182 setup_1v_con(pword *plin, con_info *con, prop_info *prop, int *solved) function
4191 fprintf(stderr, "Entering setup_1v_con.\n");
4414 result = setup_1v_con(&lin, &con, &prop, &solved);

Completed in 88 milliseconds