Searched refs:starts_after_end (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dscheduler.pl40 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 Dsched_cstrs.cc87 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