Remove useless if

main
Nils Adermann 13 years ago
parent cdf3b4e012
commit 9ffe0d13f5

@ -57,15 +57,16 @@ class RuleWatchGraph
if (!$node->getRule()->isDisabled() && !call_user_func($skipCallback, $otherWatch)) { if (!$node->getRule()->isDisabled() && !call_user_func($skipCallback, $otherWatch)) {
$ruleLiterals = $node->getRule()->getLiterals(); $ruleLiterals = $node->getRule()->getLiterals();
if (sizeof($ruleLiterals) > 2) { foreach ($ruleLiterals as $ruleLiteral) {
foreach ($ruleLiterals as $ruleLiteral) { $ruleLiteralId = $ruleLiteral->getId();
if ($otherWatch !== $ruleLiteral->getId() &&
!call_user_func($conflictCallback, $ruleLiteral->getId())) {
$this->moveWatch($literalId, $ruleLiteral->getId(), $node); if ($literalId !== $ruleLiteralId &&
$otherWatch !== $ruleLiteralId &&
!call_user_func($conflictCallback, $ruleLiteralId)) {
continue 2; $this->moveWatch($literalId, $ruleLiteralId, $node);
}
continue 2;
} }
} }

Loading…
Cancel
Save