forall 总是评估为真 [流口水]

Question

我有一个类应用程序，其中有一个CallPhone实例的列表。

class Application() {
      List<CallPhones> callPhonesList;
      ...
}
class CallPhones() {
      Integer callTimes;
      ...
}

我想在所有大于 10 的实例callTimes时触发规则。规则如下：

rule "Application eligible"
    when
        app : Application()
        forall(CallPhones(callTimes > 10))
    then 
        // application is eligible
end

奇怪的是，规则总是触发，即使有一个实例callTimes为 5。我也尝试回答这个问题，但没有得到帮助。有什么想法吗？

Answer 1

它应该是

rule "Application eligible"
    when
        app : Application()
        forall($temp:CallPhones(callUserTimes > 10) from app.callPhoneList)
    then 
        // application is eligible
end