/** Method collectReplacementNodeChangesTypeToInfo */
private void collectReplacementNodeChangesTypeToInfo() {
replacementNodeChangesTypeTo = new int[n_graph_actions][max_n_replacement_nodes];
// init the array with -1
for (int i = 0; i < n_graph_actions; i++)
for (int j = 0; j < max_n_replacement_nodes; j++) replacementNodeChangesTypeTo[i][j] = -1;
// for all nodes preserved set the corresponding array entry to the
// appropriate node type id
for (Rule action : actionRuleMap.keySet()) {
int act_id = actionRuleMap.get(action).intValue();
if (action.getRight() != null) {
for (Node node : action.getRight().getNodes()) {
if (!node.changesType(action.getRight())) continue;
int node_num = replacement_node_num.get(act_id).get(node).intValue();
NodeType old_type = node.getNodeType();
NodeType new_type = node.getRetypedNode(action.getRight()).getNodeType();
if (!nodeTypeMap.get(old_type).equals(nodeTypeMap.get(new_type)))
replacementNodeChangesTypeTo[act_id][node_num] = nodeTypeMap.get(new_type).intValue();
}
}
}
}
