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

Interpretation management

Issue #245 new
Broes De Cat created an issue

How can interpretations be set, how are multiple references managed. What with the changeInter operations and how does it interact through the external interface (Lua, Haskell, ...)

Comments (12)

  1. Bart Bogaerts

    Possible solution: predtables, functables, sorttables are shared_ptr.

    (you cannot do this for internalpredtables, because the nwe would lose the optimization of not having to copy internaltables all the time)

  3. Ingmar Dasseville

    Change the changeTable-functions to private, everything can be done through changing the interntable -> bug solved by proper access control

  5. Broes De Cat reporter

    Making the changeTable functions private is not a workable solution. However for sorttables, the swapping of internal tables can be done within the changeInter function.

  8. Bart Bogaerts

    Momenteel kan het veranderen van de sortinter ervoor zorgen dat er invarianten worden geschonden (predinter bevat enkel dingen uit zijn universe -> door te tellen kan je weten of iets twovalued is, ...). Misschien willen we dit checken?

  10. Bart Bogaerts

    Bijkomende vraag: Wat betekent het als we elementen toevoegen aan/verwijderen uit een sorttable????

    Bijvoorbeeld T= {1;2} P={1;2}

    voeg 3 toe aan T

    • is P dan unknown op 3? Want er is niets gezegd over 3

    • Of is P misschien false op 3? Want er is expliciet gezegd dat P enkel waar is voor 1..2

    • Of... is P misschien true op 3? Want P was oorspronkelijk true op alles in T (misschien komt de interpretatie van P van een definitie P(x) <- true)

    Alle drie zijn in sommige situaties aannemelijk. Ik denk dat unknown de beste is...

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