ExprをSingleton Patternにする。

[acesulfamK]

概要

以下の理由でSingletonにしたい

• 代数的データ型に近づけたい
• evaluate()においてcacheを使えるようにしたい

タスク

• [x] テストの実装
• [x] new()の実装
• [x] copy()の廃止
• [x] eq()の廃止
• [x] _change_recursion()におけるcopyの廃止

[acesulfamK]

113 により終了

変更のメリット

PRFにおいて、同じ式は全く同じ振る舞いをする。よって同じ形の式は同じidを持っていて同じデータや属性を持っていた方が理想的である。

具体的にはC(S(), Z())という式はどこでどう呼び出しても同じidや属性を持つ。このことは以下のタスクにおけるcacheを用いた計算最適化にも利用できる。

• 106