Issue699

Title Use task interface for IntPacker
Priority feature Status unread
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
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
2016-12-20 17:42:47floriancreate