Package jline.solvers.jmt

Class SolverJMTResult

java.lang.Object

jline.solvers.SolverResult

jline.solvers.jmt.SolverJMTResult

public class SolverJMTResult
extends SolverResult

Field Summary

Fields

Modifier and Type	Field	Description
double	logNormConstAggr
List<Metric>	metrics

Fields inherited from class jline.solvers.SolverResult

AN, CN, CNt, method, QN, QNt, RN, RNt, runtime, solver, t, TN, TNt, UN, UNt, WN, XN, XNt

Constructor Summary

Constructors

Constructor	Description
SolverJMTResult()

Method Summary

Methods inherited from class jline.solvers.SolverResult

deepCopy, reset

Methods inherited from class java.lang.Object

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

Field Details

metrics

public List<Metric> metrics

logNormConstAggr

public double logNormConstAggr

Constructor Details

SolverJMTResult

public SolverJMTResult()