module documentation
Groups of timers that may be paused, resumed, or time-scaled together.
Class |
|
A BranchManager controls a group of timers in a branch scheduler created with branch ; pausing the passage of time in the branch, unpausing it, or making its relative rate of progress faster or slower. |
Class |
|
Undocumented |
Class |
|
A Scale defines a translation between a branch (i.e., "child") time scale, and a trunk (i.e., "parent") time scale. |
Function | branch |
Derive a branch (child) scheduler from a trunk (parent) scheduler. |
Function | times |
Scale a float time-scale by factor. e.g., in : |
Type Variable | DT |
Undocumented |
Type Variable |
|
Undocumented |
Class | _ |
Implementation of TimeDriver for Scheduler that is stacked on top of another Scheduler . |
Class | _ |
Undocumented |
Class | _ |
No summary |
Function | _subtract |
Undocumented |
Type Variable | _ |
Undocumented |
Type Variable | _ |
Undocumented |
Type Variable | _F |
Undocumented |
Type Variable | _ |
Undocumented |
Type Variable | _ |
Undocumented |
Type Variable | _ |
Undocumented |
@overload
def branch(trunk:
@overloadScheduler[ WhenT, Callable[ [], None], object]
, scale: Scale[ WhenT, WhenT, _TrunkDelta]
) -> tuple[ BranchManager[ WhenT, _TrunkDelta], Scheduler[ WhenT, Callable[ [], None], int]]
:def branch(trunk:
(source)
¶
Scheduler[ WhenT, Callable[ [], None], object]
) -> tuple[ BranchManager[ WhenT, WhenT], Scheduler[ WhenT, Callable[ [], None], int]]
:Derive a branch (child) scheduler from a trunk (parent) scheduler.