Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

AnalyzeUnjustified#rulesHeadUnifyingWith contains an instanceof that can never be true #246

Open
rtaupe opened this issue Apr 8, 2020 · 1 comment
Open

AnalyzeUnjustified#rulesHeadUnifyingWith contains an instanceof that can never be true #246

rtaupe opened this issue Apr 8, 2020 · 1 comment
Assignees
@AntoniusW
Labels
bug code quality Refactorings and other code-quality-related tasks

Comments

@rtaupe
Copy link
Collaborator

rtaupe commented Apr 8, 2020

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 rtaupe added the bug label Apr 8, 2020
@madmike200590
Copy link
Collaborator

madmike200590 commented Apr 9, 2020 •
edited
Loading

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

@madmike200590 madmike200590 added the code quality Refactorings and other code-quality-related tasks label Oct 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AntoniusW AntoniusW

Labels
bug code quality Refactorings and other code-quality-related tasks
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@rtaupe @AntoniusW @madmike200590