public class RexImplicationChecker extends java.lang.Object
If A ⇒ B, whenever A is true, B will be true also.
|Constructor and Description|
|Modifier and Type||Method and Description|
Checks if condition first implies (⇒) condition second.
This reduces to SAT problem which is NP-Complete. When this method says first implies second then it is definitely true. But it cannot prove that first does not imply second.
first- first condition
second- second condition
Copyright © 2012–2018 The Apache Software Foundation. All rights reserved.