Skip to content

Visibility analysis: contracted DAG on a subset of edges in the def use DAG - #5105

Draft
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_995282036
Draft

copybara-service[bot] wants to merge 1 commit into
mainfrom
test_995282036

Conversation

@copybara-service

Copy link
Copy Markdown

Visibility analysis: contracted DAG on a subset of edges in the def use DAG

This data structure represents the subset of nodes that some edges are incident on as well as which nodes have at least one path through the full DAG that is not cut by edges. This is useful for efficiently computing visibility expressions and in a followup is used to heavily optimize VisibilityAnalysis

…se DAG

This data structure represents the subset of nodes that some `edges` are incident on as well as which nodes have at least one path through the full DAG that is not cut by `edges`. This is useful for efficiently computing visibility expressions and in a followup is used to heavily optimize VisibilityAnalysis

PiperOrigin-RevId: 995282036

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant