Class FJFixedPoint.FJOutcome

java.lang.Object
jline.solvers.fj.FJFixedPoint.FJOutcome
Enclosing class:
FJFixedPoint

public static class FJFixedPoint.FJOutcome extends Object
Outcome of the fixed point: the merged metrics and the retained state.