g2d.stats

Class GenericApprox

java.lang.Object

g2d.stats.GenericApprox

public class GenericApprox
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
GenericApprox(java.lang.String handle, double epsilon, double delta)

Method Summary

Modifier and Type	Method and Description
boolean	done()
void	recordRunResult(java.lang.Object value)
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

GenericApprox

public GenericApprox(java.lang.String handle,
                     double epsilon,
                     double delta)

Method Detail

recordRunResult

public void recordRunResult(java.lang.Object value)

done

public boolean done()

summary

public Attributable summary()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object