Issue 273: translator bug in invariant synthesis - Fast Downward issue tracker

Title	translator bug in invariant synthesis
Priority	bug	Status	resolved
Superseder		Nosy List	gabi, malte
Assigned To	malte	Keywords	1.0
Optional summary

Created on 2011-09-01.12:19:03 by gabi, last changed by malte.

Messages
msg1782 (view)	Author: malte	Date: 2011-09-20.15:03:16
Merged.
msg1781 (view)	Author: gabi	Date: 2011-09-20.14:36:22
This was actually only a very small change which is now done.
msg1718 (view)	Author: gabi	Date: 2011-09-01.12:19:02
In the invariant finder, BalanceChecker.add_inequality_preconds will only work as intended for actions that have a conjunction as precondition. This must be generalized to Literals and ConstantConditions. (and one could simplify the code by using "for ... else ...")

History
Date	User	Action	Args
2011-09-20 15:03:16	malte	set	status: reviewing -> resolved messages: + msg1782
2011-09-20 14:36:22	gabi	set	status: unread -> reviewing assignedto: gabi -> malte messages: + msg1781
2011-09-01 12:19:03	gabi	create