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

Model Expansion fails terribly

Issue #897 resolved
Ingmar Dasseville created an issue

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=1cc42094a19364acd66c

Comments (5)

  3. Ingmar Dasseville reporter

    Nope, dit fixen is een hele uitdaging.

    in de pcsolver Lit PCSolver::getLit(VarID var, EqType eq, Weight bound) maakt nieuwe literals aan, maar die komen in niet in de lijst van literals in _outpvarsset in die PCSolver, waardoor die niet in rekening worden gebracht bij modelinvalidatie

  4. Ingmar Dasseville reporter

    het probleem is niet, die toevoegen, het probleem is weten wanneer je die mag toevoegen -> die methode kan niet zien of die intvar in het outputvoc zit of niet

  6. 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!