Searched refs:RHSPositive (Results 1 – 1 of 1) sorted by relevance
5693 bool RHSPositive = RHSKnown.isStrictlyPositive(); in computeKnownBitsForTargetNode() local5697 else if ((LHSNegative && RHSPositive) || (LHSPositive && RHSNegative)) in computeKnownBitsForTargetNode()