Algorithm.EqSat.Queries

Query functions for e-graphs Heavily based on hegg (https:/github.comalt-romes/hegg by alt-romes)

Documentation

getEClassesThat :: Monad m => (EClass -> Bool) -> EGraphST m [EClassId]

updateFitness :: Monad m => Double -> EClassId -> EGraphST m ()

findRootClasses :: Monad m => EGraphST m [EClassId]

returns all the root e-classes (e-class without parents)

getTopECLassThat :: Monad m => Int -> (EClass -> Bool) -> EGraphST m [EClassId]

returns the e-class id with the best fitness that is true to a predicate

getTopECLassWithSize :: Monad m => Int -> Int -> EGraphST m [EClassId]