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"#s488"} where var"#s488"<:AbstractAnalysis, ids::Vector{Int64}) -> Bool
Methods
analyze!(g, an, ids)