Lines Matching refs:with
6 % in compliance with the License. You may obtain a copy of the License
42 binaries associated with a given task start time
84 Biv - a binary variable with an attribute recording which two tasks
114 Task1 = task with start:S1,
115 Task2 = task with [start:S2,duration:D2,resource:R2],
142 The tightest binary is the one with the biggest overlap (from the
185 binary is the one with the greatest score.
203 /* Returns the binary variable with the greatest associated overlap
218 ftb finds, among the binary variables with a non-zero tentative value,
260 List - a list of binaries (with attribute bin_info)
274 with task 2.
281 Task1 = task with [start:S1,duration:D1],
282 Task2 = task with [start:S2,duration:D2],