Rename walkLiteral method to more explicitly say what it does
parent
a395bc04d7
commit
025581b365
|
@ -43,7 +43,7 @@ class RuleWatchGraph
|
||||||
return isset($this->watches[$literal]);
|
return isset($this->watches[$literal]);
|
||||||
}
|
}
|
||||||
|
|
||||||
public function walkLiteral($literal, $level, $skipCallback, $conflictCallback, $decideCallback)
|
public function propagateLiteral($literal, $level, $skipCallback, $conflictCallback, $decideCallback)
|
||||||
{
|
{
|
||||||
if (!isset($this->watches[$literal])) {
|
if (!isset($this->watches[$literal])) {
|
||||||
return null;
|
return null;
|
||||||
|
|
|
@ -318,7 +318,7 @@ class Solver
|
||||||
|
|
||||||
$this->propagateIndex++;
|
$this->propagateIndex++;
|
||||||
|
|
||||||
$conflict = $this->watchGraph->walkLiteral(
|
$conflict = $this->watchGraph->propagateLiteral(
|
||||||
$literal,
|
$literal,
|
||||||
$level,
|
$level,
|
||||||
array($this, 'decisionsContain'),
|
array($this, 'decisionsContain'),
|
||||||
|
|
Loading…
Reference in New Issue