Lines Matching refs:handle
67 :- define_struct(activity(handle, start, end, duration)).
68 :- define_struct(schedule(handle, timemin, timemax, activities, resources)).
122 Schedule = schedule with [handle:S, resources:Rs],
127 alt_res_set(schedule with handle:S, Resources, Resource) :-
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 with handle:A, Capacity of resource(Resource, ilc('AltResSet')), Constraint) :-
179 requires(activity with handle:A, Capacity of resource(Resource, ResourceType), Constraint) :-
184 requires(activity with handle:A, resource(Resource, ResourceType), Constraint) :-