Lines Matching full:spf1
639 /// SPF2(SPF1(A, B), C)
641 SelectPatternFlavor SPF1,
648 if (SPF1 == SPF2)
653 if ((SPF1 == SPF_SMIN && SPF2 == SPF_SMAX) ||
654 (SPF1 == SPF_SMAX && SPF2 == SPF_SMIN) ||
655 (SPF1 == SPF_UMIN && SPF2 == SPF_UMAX) ||
656 (SPF1 == SPF_UMAX && SPF2 == SPF_UMIN))
660 if (SPF1 == SPF2) {
668 if ((SPF1 == SPF_UMIN && ACB.ule(ACC)) ||
669 (SPF1 == SPF_SMIN && ACB.sle(ACC)) ||
670 (SPF1 == SPF_UMAX && ACB.uge(ACC)) ||
671 (SPF1 == SPF_SMAX && ACB.sge(ACC)))
676 if ((SPF1 == SPF_UMIN && ACB.ugt(ACC)) ||
677 (SPF1 == SPF_SMIN && ACB.sgt(ACC)) ||
678 (SPF1 == SPF_UMAX && ACB.ult(ACC)) ||
679 (SPF1 == SPF_SMAX && ACB.slt(ACC))) {
689 if (SPF1 == SPF2 && (SPF1 == SPF_ABS || SPF1 == SPF_NABS)) {
695 if ((SPF1 == SPF_ABS && SPF2 == SPF_NABS) ||
696 (SPF1 == SPF_NABS && SPF2 == SPF_ABS)) {
742 Builder, getInverseMinMaxSelectPattern(SPF1), NotA, NotB);
