protected Element createCaseElement(Document doc, Case c) {
Element elem = createElement(doc, CASE_NAME, null, null);
int[] decomposition = c.getInput();
elem.appendChild(createElement(doc, CASE_U_NAME, null, "" + decomposition[0]));
elem.appendChild(createElement(doc, CASE_V_NAME, null, "" + decomposition[1]));
elem.appendChild(createElement(doc, CASE_X_NAME, null, "" + decomposition[2]));
elem.appendChild(createElement(doc, CASE_Y_NAME, null, "" + decomposition[3]));
elem.appendChild(createElement(doc, CASE_I_NAME, null, "" + c.getI()));
return elem;
}
