Lines Matching refs:POS
427 return ((NEG (a) && NEG (b) && POS (result))
428 || (POS (a) && POS (b) && NEG (result)));
436 return ((NEG (a) && POS (b) && POS (result))
437 || (POS (a) && NEG (b) && NEG (result)));
446 (NEG (a) && POS (result)) || (NEG (b) && POS (result)));
462 ASSIGNC ((NEG (a) && POS (b)) ||
463 (NEG (a) && POS (result)) || (POS (b) && POS (result)));