Skip to content

Commit

Permalink
Queue update of parents when analysis of eclass is updated (even when…
Browse files Browse the repository at this point in the history 
… it was nothing)
  • Loading branch information
@gkronber
gkronber committed Sep 10, 2024
1 parent 2653075 commit 4cb1dc6
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/EGraphs/egraph.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -440,6 +440,7 @@ function process_unions!(g::EGraph{ExpressionType,AnalysisType})::Int where {Exp
g.classes[eclass_id_key] = EClass{AnalysisType}(eclass_id, eclass.nodes, eclass.parents, node_data)
# eclass.data = node_data
modify!(g, eclass)
append!(g.analysis_pending, eclass.parents)
end
end
end
Expand Down

1 comment on commit 4cb1dc6

@gkronber
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Corresponding egg code:
https://github.com/egraphs-good/egg/blob/1b2d004f63a01256047154f51568e61317cd4e89/src/egraph.rs#L1407

We could also change MT code to call merge_analysis_data instead (as in egg)

Please sign in to comment.