Searched refs:set_capacity_max (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
| H A D | sched_cstrs.cc | 165 set_capacity_max(EC_word C) //set_capacity_max(Resource, Min, Max, Capacity) function
197 if (strcmp(f.name(), "set_capacity_max") == 0) {
198 set_capacity_max(C);
|
| H A D | scheduler.pl | 41 set_capacity_max/4,
154 set_capacity_max(resource(Handle, ilc('DiscreteResource')), TimeMin, TimeMax, Capacity) :-
157 schedule_set(set_capacity_max(Handle, TimeMin, TimeMax, Capacity)).
|
Completed in 80 milliseconds