MultiConflictRules cannot be disabled, so no need to check

main
Nils Adermann 5 years ago
parent 79066931e6
commit 28afc4de32

@ -128,7 +128,6 @@ class RuleWatchGraph
$decisions->decide($otherWatch, $level, $node->getRule());
}
} else {
// check isDisabled?
foreach ($node->getRule()->getLiterals() as $otherLiteral) {
if ($literal !== $otherLiteral && !$decisions->satisfy($otherLiteral)) {
if ($decisions->conflict($otherLiteral)) {

Loading…
Cancel
Save