Searched refs:activity (Results 1 - 14 of 14) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dsched_cstrs.cc70 IlcIntervalActivity activity; local
71 int is_activity = W.is_handle(activity_method, (void**)&activity);
73 return activity;
99 IlcIntervalActivity activity = activity_of_handle(EC_argument(C, 1)); local
104 return activity.consumes(resource, capacity);
109 return activity.consumes(resource, capacity);
115 IlcIntervalActivity activity = activity_of_handle(EC_argument(C, 1)); local
120 return activity.requires(resource, capacity);
125 return activity.requires(resource, capacity);
H A Dscheduler.pl57 :- define_macro(activity/4, format_scheduler/2, [write]).
67 :- define_struct(activity(handle, start, end, duration)).
70 format_scheduler(activity(_H, Start, End, Duration), Start-Duration--->End).
116 Activity = activity(A, Start, End, Duration),
144 starts_after_end(activity with handle:A1, activity with handle:A2, Constraint) :-
148 starts_after_end(activity with handle:A1, (activity with handle:A2)+Delay, Constraint) :-
162 consumes(activity with handle:A, Capacity of resource(Resource, ilc('CapResource')), Constraint) :-
169 consumes(activity wit
[all...]
H A Dscheduler.cc59 IlcIntervalActivity activity(schedule, start, end, duration);
61 return unify(EC_arg(5), handle(activity_method, activity.getImpl()));
66 catch(IlcFailException) { // raised by activity()
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic_probing_tests.pl206 This declares an activity with a start time point of ID 1,
209 that the activity may be shrunk or grown by no more than 10 minutes.
H A Dprobing_tests.pl204 This declares an activity with a start time point of ID 1,
207 that the activity may be shrunk or grown by no more than 10 minutes.
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dkernel-lst.tex126 \item[statistics_bang]{Print information about activity of the page buffer management.}
/barrelfish-master/doc/008-tracing/
H A DTracing.tex516 that are grouped into a single activity. Activities are a typical constructs
554 classes are always in a consistent state. For example if an activity is seen by
606 custom activity scripts. Such a script works in the following way: It receives
613 An example for an activity script could be to create an activity for all the
615 locking behaviour. For each activity, certain parameters such as the duration of
616 each activity, is automatically calculated by Aquarium.
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dgfd.tex1108 \item[activity] Count of the number of domain
1134 degree and activity via parameters in
1146 Due to the way activity is implemented by Gecode, the use of activity in GFD
1150 Note also activity is computed for recomputation as well as normal computation,
1152 can change the activity counts for the same problem, thus affecting the
1153 search if an activity based selection method is used.
1168 e.g. variable selection methods that uses activity or weighted degree.
H A Dic.tex1159 Users who wish to track activity within their own programs may (if they
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dprogramanalysis.tex44 activity. \See{See chapter~\ref{chapdebug} and the \emph{Debugging}
H A Deprolog.tex435 collection activity
/barrelfish-master/doc/011-idc/
H A DIDC.tex704 These events are typically raised by message channels in response to activity,
747 activity to detect the occurrence of the event
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsdeveltools.tex64 activity. Chapter~\ref{chapdebug} presents a comprehensive
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dasm.pl422 edesc(EnvDesc) environment activity descriptor
1313 % - eam(integer or bignum) (environment activity bitmap)

Completed in 159 milliseconds