Package jline.api.fj

Class FJ_charmax_ext.FJCharMaxDiscreteResult

java.lang.Object

jline.api.fj.FJ_charmax_ext.FJCharMaxDiscreteResult

Enclosing class:

FJ_charmax_ext

public static final class FJ_charmax_ext.FJCharMaxDiscreteResult
extends Object

[MK, mK, exact] of fj_char_max_discrete.

Field Summary

Fields

Modifier and Type	Field	Description
final double	exact
final int	mK
final double	MK

Constructor Summary

Constructors

Constructor	Description
FJCharMaxDiscreteResult(double MK, int mK, double exact)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

MK

public final double MK

mK

public final int mK

exact

public final double exact

Constructor Details

FJCharMaxDiscreteResult

public FJCharMaxDiscreteResult(double MK,
 int mK,
 double exact)