next up previous contents index
Next: コンシューマ外部参照オブジェクト(群) がフックしている変数同士 Up: 分散ユニフィケーション Previous: ジェネレータ外部参照オブジェクト X と, コンシューマ(群)

ジェネレータ外部参照オブジェクト 同士 (X, Y)

一方のジェネレータ (X とする) の unify メソッドを呼び出す. メソッドの実行により, X が指すワーカへ %unify(X,Y) が送られ, 「X がフックしている変数」に「Y がフックしている変数へのポインタ」が書込まれ, X は解放される.



Sekita Daigo
1998-05-18