Searched refs:consumes (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | makerefs.pl | 85 latexarg(BipList), % consumes closing } 94 latexarg(TextList), % consumes closing } 96 latexarg(BipList), % consumes closing } 106 latexarg(TextList), % consumes closing } 108 latexarg(BipList), % consumes closing } 118 % latexarg(BipList), % consumes closing } 127 latexarg(BipList), % consumes closing } 138 latexarg(BipList), % consumes closing } 149 latexarg(BipList), % consumes closing } 160 latexarg(TextList), % consumes closin [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | scheduler.pl | 46 consumes/2, consumes/3. 51 :- op(700, xfx, consumes). 160 A1 consumes C :- consumes(A1, C, _). 162 consumes(activity with handle:A, Capacity of resource(Resource, ilc('CapResource')), Constraint) :- 166 schedule_add(consumes(A, Resource, Capacity, cap), Cstr), 169 consumes(activity with handle:A, Capacity of resource(Resource, ilc('AltResSet')), Constraint) :- 172 schedule_add(consumes(A, Resource, Capacity, ars), Cstr),
|
H A D | sched_cstrs.cc | 97 consumes(EC_word C) // consumes(A, Resource, Capacity, cap or ars) function 104 return activity.consumes(resource, capacity); 109 return activity.consumes(resource, capacity); 144 if (strcmp(f.name(), "consumes") == 0) { 145 return consumes(C);
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | prolog.tex | 972 firstly, an open choice point consumes memory, and secondly the
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embremote.tex | 398 both. The handler either consumes or provides data as described above. The
|
H A D | embremoteproto.tex | 105 consumes the data that is sent from the other. This ensures that no
|
Completed in 90 milliseconds