Display undecided literals as undecided with a ?, when printing the decision map
parent
0b8fb68e93
commit
8484199677
|
@ -2018,8 +2018,10 @@ class Solver
|
||||||
}
|
}
|
||||||
if ($level > 0) {
|
if ($level > 0) {
|
||||||
echo ' +' . $this->pool->packageById($packageId)."\n";
|
echo ' +' . $this->pool->packageById($packageId)."\n";
|
||||||
} else {
|
} elseif ($level < 0) {
|
||||||
echo ' -' . $this->pool->packageById($packageId)."\n";
|
echo ' -' . $this->pool->packageById($packageId)."\n";
|
||||||
|
} else {
|
||||||
|
echo ' ?' . $this->pool->packageById($packageId)."\n";
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
echo "\n";
|
echo "\n";
|
||||||
|
|
Loading…
Reference in New Issue