}
return result.toString();
}
if (condition instanceof StateCondition) {
StateCondition cond = ((StateCondition) condition);
if (cond.getMin() == cond.getMax() && cond.getMax() == 1) {
result = new StringBuilder();
} else if (cond.getMin() == cond.getMax()) {
result = new StringBuilder("{" + cond.getMin() + "}");
} else if (cond.getMax() == Integer.MAX_VALUE) {
result = new StringBuilder("{" + cond.getMin() + ",}");
} else if (cond.getMin() <= 0) {
result = new StringBuilder("{," + cond.getMax() + "}");
} else {
result =
new StringBuilder("{" + cond.getMin() + "," + cond.getMax() + "}");
}
return info.getStates().get(cond.getState()) + result;
}
if (condition instanceof NotCondition) {
NotCondition cond = (NotCondition) condition;
result.append("!" + conditionToString(cond.getCondition(), info));
}
String tempResult = "";
String concat = "";