Issue699

Title Use task interface for IntPacker
Priority feature Status resolved
Superseder Nosy List florian, jendrik, malte
Assigned To florian Keywords
Optional summary

Created on 2016-12-20.17:42:47 by florian, last changed by florian.

Messages
msg7467 (view) Author: florian Date: 2018-09-14.20:26:43
This is resolved by issue774.
msg5940 (view) Author: florian Date: 2016-12-20.17:42:47
We currently create a global object g_state_packer from the array
g_variable_domain. I suggest we change this, so a state packer can be created
from a task proxy. This could be either a method of task proxy or a global
function. I suggest we don't add a constructor IntPacker(TaskProxy) as we did
for other classes (like the AxiomEvaluator) because IntPacker could be used for
things other than the task.

We could also think about caching the created object like causal graphs.
History
Date User Action Args
2018-09-14 20:26:43floriansetstatus: unread -> resolved
messages: + msg7467
2016-12-20 17:42:47floriancreate