Details
-
Bug
-
Status: Closed
-
Minor
-
Resolution: Resolved
-
1.28.0
Description
Javadoc of RexSimplify.simplify says that
simplify(x = 1 AND y = 2 AND NOT x = 1) returns y = 2
but it is wrong for any policy:
x <- 1
y <- 2
x = 1 AND y = 2 AND NOT x = 1 == false
y = 2 == true
I guess it should have been like
simplify(y = 2 AND (x = 1 OR NOT x = 1 OR x IS NULL)) returns y = 2
which is true for any policy:
Origin: AND(=($1, CAST(2):INTEGER), OR(=($0, CAST(1):INTEGER), NOT(=($0, CAST(1):INTEGER)), IS NULL($0))) Simplify(Unknown): =($1, 2) Simplify(False): =($1, 2) Simplify(True): =($1, 2)
Attachments
Issue Links
- links to