Interface TraceTree

interface TraceTree {
    byId: ReadonlyMap<number, TraceNode>;
    roots: readonly TraceNode[];
    size: number;
    dfs(visit: (node: TraceNode, depth: number) => void): void;
}

Index

Methods

Properties

byId roots size

Methods

dfs

dfs(visit: (node: TraceNode, depth: number) => void): void
Pre-order DFS: parent first, then batches in start-time order, then siblings within a batch in start order.
Parameters
- visit: (node: TraceNode, depth: number) => void
Returns void
- Defined in src/assert/tree.ts:28

Properties

`Readonly`byId

byId: ReadonlyMap<number, TraceNode>

`Readonly`roots

roots: readonly TraceNode[]

`Readonly`size

size: number