| Package | Description |
|---|---|
| org.mindswap.pellet.tableau.completion | |
| org.mindswap.pellet.utils | |
| org.mindswap.pellet.utils.progress |
| Modifier and Type | Field and Description |
|---|---|
protected Timer |
CompletionStrategy.completionTimer
Timer to be used by the complete function.
|
| Modifier and Type | Field and Description |
|---|---|
Timer |
Timers.mainTimer |
| Modifier and Type | Method and Description |
|---|---|
Timer |
Timers.createTimer(String name) |
Timer |
Timer.getParent()
Return the parent timer of this timer depends on.
|
Timer |
Timers.getTimer(String name) |
Timer |
Timers.startTimer(String name) |
| Modifier and Type | Method and Description |
|---|---|
Collection<Timer> |
Timers.getTimers() |
| Modifier and Type | Method and Description |
|---|---|
void |
Timer.add(Timer timer)
Update the total time elapsed and number of counts by by adding the values from another
timer.
|
| Constructor and Description |
|---|
Timer(String name,
Timer parent)
Create a timer that has the specified parent timer.
|
| Modifier and Type | Field and Description |
|---|---|
protected Timer |
AbstractProgressMonitor.timer |
Copyright © 2019. All rights reserved.