|
@@ 310-314 (lines=5) @@
|
| 307 |
|
for ($p = $auxList; $p !== null; $p = $p->next) { |
| 308 |
|
$this->context->debug(\sprintf('Aux = (%d) ', $p->gain)); |
| 309 |
|
$f = 0; |
| 310 |
|
for ($j = 0; $j < $this->context->countTerminals; $j++) { |
| 311 |
|
if (self::VACANT !== $p->table[$j]) { |
| 312 |
|
$this->context->debug(\sprintf($f++ ? ',%d' : '%d', $p->table[$j])); |
| 313 |
|
} |
| 314 |
|
} |
| 315 |
|
$this->context->debug(' * '); |
| 316 |
|
for ($j = 0; $j < $p->preImage->length; $j++) { |
| 317 |
|
$this->context->debug(\sprintf($j ? ',%d' : '%d', $p->preImage->classes[$j])); |
|
@@ 372-376 (lines=5) @@
|
| 369 |
|
if ($this->context->debug) { |
| 370 |
|
$this->context->debug(\sprintf('Selected aux[%d]: (%d) ', $maxAux->index, $maxAux->gain)); |
| 371 |
|
$f = 0; |
| 372 |
|
for ($j = 0; $j < $this->context->countTerminals; $j++) { |
| 373 |
|
if (self::VACANT !== $maxAux->table[$j]) { |
| 374 |
|
$this->context->debug(\sprintf($f++ ? ',%d' : '%d', $maxAux->table[$j])); |
| 375 |
|
} |
| 376 |
|
} |
| 377 |
|
$this->context->debug(' * '); |
| 378 |
|
$f = 0; |
| 379 |
|
for ($j = 0; $j < $maxAux->preImage->length; $j++) { |