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

/barrelfish-master/usr/skb/
H A Dshared_lib_dict.h20 extern void p_set_var_integer();
142 {.name="p_set_var_integer",.f=p_set_var_integer},
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c1306 p_set_var_integer(value vvar, type tvar) function

Completed in 36 milliseconds