public void saveChilds(XMLSaver saver) throws XMLTreeException, IOException, XMLCannotSaveException { super.saveChilds(saver); XMLArray.saveArray(q_table, this, saver, "q-table"); // XMLArray.saveArray(v_table,this,saver,"v-table"); XMLArray.saveArray(count, this, saver, "counts"); // XMLArray.saveArray(p_table,this,saver,"p-table"); }