package mb.statix.spoofax;

public enum SolverMode {
    TRADITIONAL, CONCURRENT, INCREMENTAL_DEADLOCK;

    public static SolverMode DEFAULT = TRADITIONAL;
}

@@ -54,106 +54,562 @@
     
-TRADITIONAL, CONCURRENT, INCREMENTAL_DEADLOCK;%0A%0A    public static SolverMode DEFAULT = TRADITIONAL;
+// @formatter:off%0A    TRADITIONAL(false, false, false),%0A    CONCURRENT(true, false, false),%0A    INCREMENTAL_DEADLOCK(true, true, false),%0A    INCREMENTAL_SCOPEGRAPH_DIFF(true, true, true);%0A    // @formatter:on%0A%0A    public static SolverMode DEFAULT = TRADITIONAL;%0A%0A    public final boolean concurrent;%0A    public final boolean deadlock;%0A    public final boolean sgDiff;%0A%0A    private SolverMode(boolean concurrent, boolean deadlock, boolean sgDiff) %7B%0A        this.concurrent = concurrent;%0A        this.deadlock = deadlock;%0A        this.sgDiff = sgDiff;%0A    %7D
 %0A%7D%0A

Add properties on SolverMode