|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.topbraid.spin.inference.SPINStatistics
public class SPINStatistics
A wrapper to record the execution time of a given Query for statistical purposes.
Constructor Summary | |
---|---|
SPINStatistics(Query query,
long duration)
|
Method Summary | |
---|---|
long |
getDuration()
|
Query |
getQuery()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SPINStatistics(Query query, long duration)
Method Detail |
---|
public long getDuration()
public Query getQuery()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |