E-Graph Analysis
Metatheory.EGraphs.analyze!
— MethodWARNING. This function is unstable. An EGraph
can only contain one analysis of type an
.
Signatures
analyze!(g::EGraph, an::Type{var"#s493"} where var"#s493"<:AbstractAnalysis, ids::Vector{Int64}) -> Bool
Methods
analyze!(g, an, ids)