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"#s305"} where var"#s305"<:AbstractAnalysis, ids::Array{Int64,1}) -> Bool

Methods

analyze!(g, an, ids)