Issue584

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:35jendriksetstatus: unread -> resolved
messages: + msg4680
2015-10-27 12:23:25jendrikcreate