/*.................................................................................................................*/
public void appendToConfigFileGeneral(StringBuffer config) {
if (config != null) {
config.append("\ndatafname=" + dataFileName);
config.append("\nofprefix=" + ofprefix);
if (useConstraintTree == 0) config.append("\nconstraintfile = none");
else config.append("\nconstraintfile = constraintTree"); // important to be user-editable
config.append("\nstreefname = random");
config.append("\navailablememory = " + availMemory + " \n");
config.append(" \noutputmostlyuselessfiles = 0");
config.append("\n\nrandseed = " + randseed); // important to be user-editable
config.append("\nsearchreps = " + numRuns);
config.append("\n");
}
}
/*.................................................................................................................*/
public String preparePreferencesForXML() {
StringBuffer buffer = new StringBuffer(200);
StringUtil.appendXMLTag(buffer, 2, "availMemory", availMemory);
buffer.append(super.preparePreferencesForXML());
return buffer.toString();
}