Searched refs:varlist (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
| H A D | read.h | 50 pword *varlist, int *has_macro, value vm, type tm));
|
| H A D | eg_c_mip.c | 107 pword varlist; local
115 varlist = ec_listofrefs(Vars);
117 bounds(varlist, 0.0, 1e20);
119 eq( times(varlist, ec_listofdouble(NCOLS,pc)), ec_ref_get(Profit));
120 leq( times(varlist, ec_listofdouble(NCOLS,req[0])), ec_double(8.0));
121 leq( times(varlist, ec_listofdouble(NCOLS,req[1])), ec_double(10.0));
123 maximize( times(varlist, ec_listofdouble(NCOLS,pc)), ec_ref_get(Profit));
|
| H A D | eg_c_sendmore.c | 45 pword varlist; local
54 varlist = ec_listofrefs(Vars);
57 varlist, ec_term(ec_did("..",2), ec_long(0), ec_long(9)))
60 ec_term(ec_did("alldistinct",1), varlist)
99 ec_term(ec_did("labeling",1), varlist)
|
| H A D | read.c | 258 pword *var_list_tail; /* tail of varlist (readvar) */
1516 pword *varlist, /* where to store the var list (or NULL) */
1531 pd->var_list_tail = varlist;
1512 ec_read_term( stream_id nst, int options, pword *result, pword *varlist, int *has_macro, value vm, type tm ) argument
|
| /barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/chr/ |
| H A D | term.pl | 26 varlist(_3516, _3515) :- varlist(_3516, [], _3515).
27 varlist(_3537, _3536, [_3537|_3536]) :- chr_var(_3537), diff_list(_3537, _3536).
28 varlist(_3563, _3562, _3562) :- chr_var(_3563), member(_3563, _3562).
29 varlist(_3590, _3589, _3588) :- chr_functor(_3590, _3594, _3591), varlist(_3591, _3590, _3589, _3588).
30 varlist(0, _3613, _3612, _3612).
31 varlist(_3655, _3643, _3649, _3641) :- _3655 > 0, plus(_3644, 1, _3655), chr_arg(_3655, _3643, _3650), varlist(_3650, _3649, _3642), varlist(_364
[all...] |
Completed in 106 milliseconds