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

Progression and false-defineds

Issue #627 resolved
Bart Bogaerts created an issue

{ p(next(t)) <- true }

curretnly, the above definition will leave p(start) open when progression is applied. The correct thing is to make p(start) false-defined!

Similar for cases when p(start) occurs as a head but p(t) or p(next(t)) does not...

Comments (1)

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