|
||||||||||
| 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 | |||||||||