1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Giving a (partial) interpretation for overloaded functions

Issue #422 resolved
Pieter Van Hertum created an issue

Giving an interpretation, be it 2 valued or 3 valued, for some instantiation of an overloaded function, segfaults.

Comments (2)

  1. Bart Bogaerts

    Bugfix in inserter

    fixes #422 Some old code only valid for predicates (not for functions) prevented disambiguation of function symbols This is fixed now. Replaced the condition by an assert (as this should be the case anyway) The assert is different for functions than for predicates

    Added regression test

    → <<cset 56a29d80b429>>

  2. Bart Bogaerts

    Bugfix in inserter

    fixes #422 Some old code only valid for predicates (not for functions) prevented disambiguation of function symbols This is fixed now. Replaced the condition by an assert (as this should be the case anyway) The assert is different for functions than for predicates

    Added regression test

    → <<cset 32aa6f4672c5>>

  3. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
resolved
Component
–
Version
–
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!