Details
-
Bug
-
Resolution: Done
-
Major
-
None
-
7.56.0.Final
-
None
-
2021 Week 25-27 (from Jun 21)
-
-
Undefined
-
NEW
-
NEW
Description
Forall clauses containing a pattern with self-join and a conjunction of constraints connected with && will match even when such constraints are not satisfied.
For example, the following DRL:
rule "Rule" when forall (f:Fact(tag == "X") Fact(this==f, value > 1 && value < 10)) then end
will match against the following fact:
Fact( tag=X, value=42 )
whereas it is not supposed to.
Notice that the issue does not occur:
- when running with executable model, or
- if the constraints in the pattern inside the forall are connected with a comma instead of &&