public class RexImplicationChecker extends Object
If A ⇒ B, whenever A is true, B will be true also.
|Modifier and Type||Method||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–2017 The Apache Software Foundation. All rights reserved.