Lines Matching refs:with
6 % in compliance with the License. You may obtain a copy of the License
43 binaries associated with a given task start time
85 Biv - a binary variable with an attribute recording which two tasks
115 Task1 = task with start:S1,
116 Task2 = task with [start:S2,duration:D2,resource:R2],
143 The tightest binary is the one with the biggest overlap (from the
186 binary is the one with the greatest score.
204 /* Returns the binary variable with the greatest associated overlap
219 ftb finds, among the binary variables with a non-zero tentative value,
261 List - a list of binaries (with attribute bin_info)
275 with task 2.
282 Task1 = task with [start:S1,duration:D1],
283 Task2 = task with [start:S2,duration:D2],