Class CongruenceCollectorReport
- java.lang.Object
-
- de.tilman_neumann.jml.factor.base.congruence.CongruenceCollectorReport
-
public class CongruenceCollectorReport extends Object
-
-
Constructor Summary
Constructors Constructor Description CongruenceCollectorReport(int partialCount, int smoothCount, int[] smoothFromPartialCounts, int[] partialCounts, int perfectSmoothCount, Multiset<Integer> oddExpBigFactorSizes, Multiset<Integer> oddExpBigFactorSizes4Smooth, int partialWithPositiveQCount, int smoothWithPositiveQCount)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getNonIntFactorPercentages()
String
getOperationDetails()
String
getPartialBigFactorSizes()
String
getPartialQSignCounts()
String
getSmoothBigFactorPercentiles()
String
getSmoothBigFactorSizes()
String
getSmoothQSignCounts()
-
-
-
Constructor Detail
-
CongruenceCollectorReport
public CongruenceCollectorReport(int partialCount, int smoothCount, int[] smoothFromPartialCounts, int[] partialCounts, int perfectSmoothCount, Multiset<Integer> oddExpBigFactorSizes, Multiset<Integer> oddExpBigFactorSizes4Smooth, int partialWithPositiveQCount, int smoothWithPositiveQCount)
-
-
Method Detail
-
getOperationDetails
public String getOperationDetails()
-
getPartialBigFactorSizes
public String getPartialBigFactorSizes()
-
getSmoothBigFactorSizes
public String getSmoothBigFactorSizes()
-
getSmoothBigFactorPercentiles
public String getSmoothBigFactorPercentiles()
-
getNonIntFactorPercentages
public String getNonIntFactorPercentages()
-
getPartialQSignCounts
public String getPartialQSignCounts()
-
getSmoothQSignCounts
public String getSmoothQSignCounts()
-
-