enode

我一直在花一些时间仔细考虑电子图表。我觉得我有点折叠，直到它相当简单。这一实现可能不是高性能，因为主要诀窍是去除真正有用的索引结构。尽管如此，这种实施足够小，我可以把它留在我的脑海里。它变得非常可爱。 在计算机中，术语（a + b）* c通常被存储为树。 EGraph将此树结构转换为具有额外间接层的一个树结构。而......