Package de.tilman_neumann.jml.factor.base.congruence

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

Modifier and Type	Method	Description
String	getNonIntFactorPercentages()
String	getOperationDetails()
String	getPartialBigFactorSizes()
String	getPartialQSignCounts()
String	getSmoothBigFactorPercentiles()
String	getSmoothBigFactorSizes()
String	getSmoothQSignCounts()

Methods inherited from class java.lang.Object

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

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()