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 |
| 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 | _ |
No summary |
| Function | _subtract |
Undocumented |
| Type Variable | _ |
Undocumented |
| Type Variable | _F |
Undocumented |
| Type Variable | _ |
Undocumented |
@overload
def branch(trunk:
@overloadScheduler[ _TrunkTime, Callable[ [], None], object], scale: Scale[ _BranchTime, _TrunkTime, _TrunkDelta]) -> tuple[ BranchManager[ _BranchTime, _TrunkTime, _TrunkDelta], Scheduler[ _BranchTime, Callable[ [], None], int]]:def branch(trunk:
(source)
¶
Scheduler[ _BranchTime, Callable[ [], None], object]) -> tuple[ BranchManager[ _BranchTime, _BranchTime, PriorityDiffable[ _BranchTime]], Scheduler[ _BranchTime, Callable[ [], None], int]]:Derive a branch (child) scheduler from a trunk (parent) scheduler.