Lines Matching refs:with
6 % in compliance with the License. You may obtain a copy of the License
71 format_scheduler(schedule with [timemin:Min, timemax:Max], schedule(Min..Max)).
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) :-