package mb.nabl2.spoofax.analysis;

import java.util.List;
import java.util.Optional;

import mb.nabl2.constraints.IConstraint;
import mb.nabl2.solver.ISolution;
import mb.nabl2.terms.ITerm;

public interface IResult {

    boolean partial();

    List<IConstraint> constraints();

    ISolution solution();

    Optional<ITerm> customAnalysis();

    IResult withCustomAnalysis(ITerm term);

}
@@ -298,24 +298,71 @@
 olution();%0A%0A
+    IResult withSolution(ISolution solution);%0A%0A
     Optional
@@ -434,8 +434,9 @@
 erm);%0A%0A%7D
+%0A

Add interface method to update solution.