Alpha icon indicating copy to clipboard operation
Alpha copied to clipboard
verified publisher icon alpha-asp

AnalyzeUnjustified#rulesHeadUnifyingWith contains an instanceof that can never be true

Open rtaupe opened this issue 5 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

This seems related to, and I think might be solved by implementing, #232

madmike200590 avatar Apr 09 '20 14:04 madmike200590