Searched refs:starts_after_end (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | scheduler.pl | 40 starts_after_end/2, 49 :- op(700, xfx, starts_after_end). 141 A1 starts_after_end A2 :- 142 starts_after_end(A1, A2, _). 144 starts_after_end(activity with handle:A1, activity with handle:A2, Constraint) :- 146 schedule_add(starts_after_end(A1, A2, 0), Cstr), 148 starts_after_end(activity with handle:A1, (activity with handle:A2)+Delay, Constraint) :- 150 schedule_add(starts_after_end(A1, A2, Delay), Cstr),
|
H A D | sched_cstrs.cc | 87 starts_after_end(EC_word C) // starts_after_end(A1, A2, Delay) function 136 if (strcmp(f.name(), "starts_after_end") == 0) { 137 return starts_after_end(C);
|
Completed in 82 milliseconds