Alpha icon indicating copy to clipboard operation
Alpha copied to clipboard

Published 20 hours ago • verified publisher icon alpha-asp

AnalyzeUnjustified#rulesHeadUnifyingWith contains an instanceof that can never be true

Open rtaupe opened this issue 4 years ago • 1 comments

In line 307 of AnalyzeUnjustified.java, there is the condition if (p instanceof FixedInterpretationLiteral) which can never be true because p is an Atom, not a Literal.

rtaupe avatar Apr 08 '20 08:04 rtaupe