droolsのエキスパート/ソルバー - 5.0.1の一致

Question

私はかなりdroolsに新しいです、そして、私は本当に理解できないいくつかの問題に走っています。 私は割り当ての問題を解決しようとしていると私のLHSの1は、第二の文もあなた私はワーキングメモリ内の一致があると確信しているものと一致していない何らかの理由でこの

 
$leftAlloc: SlotAllocation($leftRes: resource) 
$rightAlloc: SlotAllocation(this != $leftAlloc, resource == $leftRes) 

のようになります。上記のコードを次のように変更すると、正常に動作します。

 
$leftAlloc: SlotAllocation($leftRes: resource) 
$rightAlloc: SlotAllocation(this != $leftAlloc, eval(resource == $leftRes)) 

これは誰でも私に説明できますか？

ありがとうございます！

Answer 1

この質問をd​​roolsユーザーメーリングリストで聞いてみる方がいいでしょう。メールボックスを捨てたくない場合は、ニュースグループリーダーを使ってnews.gmane.orgに接続してください。

あなたの質問には：それは本当に奇妙です。

最初に、DRLのresource == $leftRes)は実際にはgetResource().equals($leftRes)を呼び出しますので、同じ/ポインタチェックではなく、等価チェックであることを知っておく必要があります。

一方、eval(resource == $leftRes)は同じ/ポインタチェックを使用します。 したがって、あなたのResourceクラスがObject.equalsメソッドを上書きし、同じインスタンスのときにtrueを返すという理論はありません...

PS：さらに質問があり、あまりにも彼らに答えてほしい。