private void MapOutputPortsDummy(Plan p, Collection <int> path, string freshvar) { OutPortId newObjPort = new OutPortId(path, 0); foobar.set(newObjPort, freshvar); }
private void MapOutputPortsDummy(Plan p, Collection <int> path, string freshvar) { OutPortId newObjPort = new OutPortId(path, 0); foobar.set(newObjPort, freshvar); }