Issue 633: CEGAR: use operator IDs for transitions - Fast Downward issue tracker

Title	CEGAR: use operator IDs for transitions
Priority	feature	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2016-02-05.11:10:58 by jendrik, last changed by jendrik.

Messages
msg5160 (view)	Author: jendrik	Date: 2016-02-07.16:10:09
The experiment showed only improvements so I went ahead and merged the code.
msg5155 (view)	Author: jendrik	Date: 2016-02-05.16:45:48
The changes are at https://bitbucket.org/jendrikseipp/downward/pull-requests/43 I have started an experiment for this issue and will probably merge the changes without review if nothing pops up, since they only touch the CEGAR code and are pretty straight-forward.
msg5153 (view)	Author: jendrik	Date: 2016-02-05.11:10:58
Currently, we store OperatorProxys, which uses too much space.

History
Date	User	Action	Args
2016-02-07 16:10:09	jendrik	set	status: chatting -> resolved messages: + msg5160
2016-02-05 16:45:48	jendrik	set	status: unread -> chatting messages: + msg5155
2016-02-05 11:10:58	jendrik	create