Package jline.solvers.fj
Class FJFixedPoint.FJOutcome
java.lang.Object
jline.solvers.fj.FJFixedPoint.FJOutcome
- Enclosing class:
FJFixedPoint
Outcome of the fixed point: the merged metrics and the retained state.
-
Field Summary
FieldsModifier and TypeFieldDescriptionint -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
ret
-
QN
-
iter
public int iter -
sn
-
state
-
-
Constructor Details
-
FJOutcome
public FJOutcome()
-