E-Graph Analysis

WARNING. This function is unstable. An EGraph can only contain one analysis of type an.

Signatures

analyze!(g::EGraph, an::Type{var"#s202"} where var"#s202"<:AbstractAnalysis, ids::Vector{Int64}) -> Bool

Methods

analyze!(g, an, ids)