E-Graph Analysis

Metatheory.EGraphs.analyze! — Method

WARNING. 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)