org.topbraid.spin.inference
Class SPINStatistics

java.lang.Object
  extended by org.topbraid.spin.inference.SPINStatistics

public class SPINStatistics
extends java.lang.Object

A wrapper to record the execution time of a given Query for statistical purposes.

Author:
Holger Knublauch

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

SPINStatistics

public SPINStatistics(Query query,
                      long duration)
Method Detail

getDuration

public long getDuration()

getQuery

public Query getQuery()