g2d.stats

Class SeqTestApprox

java.lang.Object

g2d.stats.SeqTestApprox

public class SeqTestApprox
extends java.lang.Object

Sequential probability ratio test by Younes et al., Journal on Software Tools for Technology Transfer 2006 "Numerical vs. Statistical Probabilistic Model Checking" alpha: false negative (TYPE I error), beta: false positive (TYPE II error) theta: threshold, delta: indifference region public void seqtest_approx_run(double alpha, double beta, double theta, double delta)

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
SeqTestApprox(java.lang.String handle, double alpha, double beta, double theta, 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

SeqTestApprox

public SeqTestApprox(java.lang.String handle,
                     double alpha,
                     double beta,
                     double theta,
                     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