Searched refs:negsignature0 (Results 1 – 1 of 1) sorted by relevance
13397 uint64_t negsignature0; in preprocessConstraintPairs() local13431 negsignature0 = consdata0->negsignature; in preprocessConstraintPairs()13510 coefsequal = (possignature0 == possignature1) && (negsignature0 == negsignature1); in preprocessConstraintPairs()13511 coefsnegated = (possignature0 == negsignature1) && (negsignature0 == possignature1); in preprocessConstraintPairs()13514 …&& ((negsignature0 | negsignature1) == negsignature0); /* negsignature0 >= negsignature1 (as bit v… in preprocessConstraintPairs()13517 …&& ((negsignature0 | negsignature1) == negsignature1); /* negsignature0 <= negsignature1 (as bit v… in preprocessConstraintPairs()13520 …&& ((negsignature0 | negsignature1) == negsignature1); /* negsignature0 <= negsignature1 (as bit v… in preprocessConstraintPairs()13523 …&& ((negsignature0 | negsignature1) == negsignature0); /* negsignature0 >= negsignature1 (as bit v… in preprocessConstraintPairs()