g2d.stats

Class BlackboxApprox

java.lang.Object

g2d.stats.BlackboxApprox

public class BlackboxApprox
extends java.lang.Object

Vesta black-box approach by Sen et al., CAV 2004 "Statistical Model-checking of Black-box Probabilistic Systems Vesta" th : threshold

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
BlackboxApprox(java.lang.String handle, double threshold, int rounds)

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

BlackboxApprox

public BlackboxApprox(java.lang.String handle,
                      double threshold,
                      int rounds)

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