Skip to content

Commit 053e76c

Browse files
committed
Resolved bug in not constraint print
1 parent 81c7292 commit 053e76c

1 file changed

Lines changed: 7 additions & 1 deletion

File tree

src/main/java/de/vill/model/constraint/NotConstraint.java

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,13 @@ public Constraint getContent() {
2121
public String toString(boolean withSubmodels, String currentAlias) {
2222
StringBuilder result = new StringBuilder();
2323
result.append("!");
24-
result.append(content.toString(withSubmodels, currentAlias));
24+
if (content instanceof VariableReference || content instanceof ParenthesisConstraint) {
25+
result.append(content.toString(withSubmodels, currentAlias));
26+
} else {
27+
result.append("(");
28+
result.append(content.toString(withSubmodels, currentAlias));
29+
result.append(")");
30+
}
2531
return result.toString();
2632
}
2733

0 commit comments

Comments
 (0)