Class FJTagTransform.Lifted

java.lang.Object
jline.solvers.tr.FJTagTransform.Lifted
Enclosing class:
FJTagTransform

public static final class FJTagTransform.Lifted extends Object
The lifted metrics, in ORIGINAL class coordinates.
  • Field Details