g2d.stats

Class nGenericApprox

java.lang.Object

g2d.stats.nGenericApprox

public class nGenericApprox
extends java.lang.Object

Generic approximation by Lassaigne et al., Ann. Pure Appl. Logic 2008 "Probabilistic Verification and Approximation Schemes" 0 < epsilon <= 1, 0 < delta <= 1

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	handle

Constructor Summary

Constructors

Constructor and Description
nGenericApprox(java.lang.String handle, double epsilon, double delta, int n)

Method Summary

Modifier and Type	Method and Description
boolean	done()
void	recordRunResult(double[] values)
void	recordRunResult(java.lang.Object value)
void	recordRunResult(java.lang.Object[] values)
void	recordRunResult(java.lang.String[] values)
Attributable	summary()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

handle

public final java.lang.String handle

Constructor Detail

nGenericApprox

public nGenericApprox(java.lang.String handle,
                      double epsilon,
                      double delta,
                      int n)

Method Detail

recordRunResult

public void recordRunResult(java.lang.Object value)

recordRunResult

public void recordRunResult(double[] values)

recordRunResult

public void recordRunResult(java.lang.Object[] values)

recordRunResult

public void recordRunResult(java.lang.String[] values)

done

public boolean done()

summary

public Attributable summary()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object