|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Timer | |
---|---|
org.mindswap.pellet.utils |
Uses of Timer in org.mindswap.pellet.utils |
---|
Fields in org.mindswap.pellet.utils declared as Timer | |
---|---|
Timer |
Timers.mainTimer
|
Methods in org.mindswap.pellet.utils that return Timer | |
---|---|
Timer |
Timers.createTimer(java.lang.String name)
|
Timer |
Timer.getParent()
Return the parent timer of this timer depends on. |
Timer |
Timers.getTimer(java.lang.String name)
|
Timer |
Timers.startTimer(java.lang.String name)
|
Methods in org.mindswap.pellet.utils that return types with arguments of type Timer | |
---|---|
java.util.Collection<Timer> |
Timers.getTimers()
|
Methods in org.mindswap.pellet.utils with parameters of type Timer | |
---|---|
void |
Timer.add(Timer timer)
Update the total time elapsed and number of counts by by adding the values from another timer. |
Constructors in org.mindswap.pellet.utils with parameters of type Timer | |
---|---|
Timer(java.lang.String name,
Timer parent)
Create a timer that has the specified parent timer. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |