Searched refs:consumes (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dmakerefs.pl85 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 Dscheduler.pl46 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 Dsched_cstrs.cc97 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 Dprolog.tex972 firstly, an open choice point consumes memory, and secondly the
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembremote.tex398 both. The handler either consumes or provides data as described above. The
H A Dembremoteproto.tex105 consumes the data that is sent from the other. This ensures that no

Completed in 90 milliseconds