RotoEdit

我们称之为 FactEditor 的模型由三个组件组成，一个用于存储草稿文本及其表示的缓冲区，一个用于存储修订文本及其表示的流，以及一个用于存储三元组及其表示的三元组。
FactEditor 扫描缓冲区中的文本，如果它们在内存中的三元组中被描述，则将文本部分从缓冲区复制到流中，如果它们在三元组中未提及，则删除文本部分，并插入新的部分接下来进入仅在三元组中呈现的流。