|
|
@ -94,7 +94,7 @@ class RuleWatchGraph
|
|
|
|
$node = $chain->current();
|
|
|
|
$node = $chain->current();
|
|
|
|
$otherWatch = $node->getOtherWatch($literal);
|
|
|
|
$otherWatch = $node->getOtherWatch($literal);
|
|
|
|
|
|
|
|
|
|
|
|
if (!$node->getRule()->isDisabled() && !$decisions->contain($otherWatch)) {
|
|
|
|
if (!$node->getRule()->isDisabled() && !$decisions->satisfy($otherWatch)) {
|
|
|
|
$ruleLiterals = $node->getRule()->getLiterals();
|
|
|
|
$ruleLiterals = $node->getRule()->getLiterals();
|
|
|
|
|
|
|
|
|
|
|
|
$alternativeLiterals = array_filter($ruleLiterals, function ($ruleLiteral) use ($literal, $otherWatch, $decisions) {
|
|
|
|
$alternativeLiterals = array_filter($ruleLiterals, function ($ruleLiteral) use ($literal, $otherWatch, $decisions) {
|
|
|
|