Issue 584: retrieve mutexes for task interface - Fast Downward issue tracker

Title	retrieve mutexes for task interface
Priority	feature	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2015-10-27.12:23:25 by jendrik, last changed by jendrik.

Messages
msg4680 (view)	Author: jendrik	Date: 2015-10-28.11:47:35
FactProxy now has a method is_mutex(const FactProxy &other). Merged and pushed.
msg4677 (view)	Author: jendrik	Date: 2015-10-27.12:23:25
We want to allow retrieving mutex information given a task transformation.

History
Date	User	Action	Args
2015-10-28 11:47:35	jendrik	set	status: unread -> resolved messages: + msg4680
2015-10-27 12:23:25	jendrik	create