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.
  • Field Details

  • Constructor Details

    • FJOutcome

      public FJOutcome()