e-graph 是等价类(e-classes)的集合,其中每一个 e-classes 类包含了若干个节点(e-node)。一个 e-node 是一个有子节点的操作符(operator),这里说的子节点是指 e-classes 而不是指操作符/值。在 egg 中,这些分别被表示为 EGraph,EClass,和 Language(e-node)类型。
Explanations 很多时候我们想知道为什么两个term在e-graph中等价。比如,我们在尝试对错误的rule进行debug,如果能够追踪 (trace) 整个重写的过程,观察它是如何一步步把一个term变成一个不等价的term,这无疑会让debug过程轻松很多。egg使用了一个一个基于Proof-Producing Congruence Closure的算法来生成这样的两个term之间...
可以通过称为 e-matching(等价匹配)的过程查询e-graph中的模式,该过程会在e-graph中搜索代表与给定模式匹配的term的 e-class。egg 的 e-matching(受 De Moura 和 Bjørner 的启发)由搜索器和模式API完成。修改e-graph的核心操作有两个:添加(add)和合并(union),前者用于向e-graph中添加e-node,后者用于合并...
Are you using egg? Please cite using the BibTeX below and add your project to the egg website! BibTeX Check out the egg web demo for some quick e-graph action! Using egg Add egg to your Cargo.toml like this: [dependencies] egg = "0.9.5" Make sure to compile with --release if...
Python bindings for the egg-smol rust library egglog-python.readthedocs.io Topics python rust dsl term-rewriting equality-saturation e-graph Resources Readme License MIT license Citation Cite this repository Activity Custom properties Stars 64 stars Watchers 3 watching Forks 9 forks ...
egg n.蛋;卵 eggplant n.茄子 Egypt* n.埃及 Egyptian adj.埃及的;埃及人的;埃及语的n.埃及人 eight num.八 eighteen num.十八 eighth num.第八 eighty num.八十 either adj.两方任一方的;二者之一conj.二者之一;要么…… adv. (用于否定句或短语后)也 ...
egg cell 卵细胞egg deposition 产卵egg division 卵分裂egg envelope 卵膜egg killer 杀卵剂egg laying 产卵egg membrane 卵膜egg membrane lysin 卵膜溶素egg nucleus 卵核egg parasite 卵寄生虫egg production capacity 产卵能力egg raft 卵筏egg shell 卵壳egg tube 卵巢管egg white 卵清egg yolk 卵黄egg yolk...
A ruby egg an d a diamon d crown. D. A golden yolk an d a diamon d crown.3. What does it mean by"Peter Faberg e an d his suc cessors repeatedly met th e challenge" in th e thir d pe ragraph? A. T hey repeat e d their designs over an d over B. T hey fulfill e d...
根据Eggcarving (蛋雕) is often called the most fragile(易碎 的)art, as it requires great care before, duri ng and even after the carving.可知鸡蛋雕刻通 常被称为最脆弱的艺术,因为它在雕刻之前、期间 甚至之后都需要非常小心雕刻。因此在雕刻鸡蛋的 过程中是非常小心最需要的。故选C。 (2)B.细节...