Searched refs:reversed_relsym (Results 1 – 5 of 5) sorted by relevance
3241 Relation_Symbol reversed_relsym; in generalized_affine_preimage() local3244 reversed_relsym = GREATER_THAN; in generalized_affine_preimage()3247 reversed_relsym = GREATER_OR_EQUAL; in generalized_affine_preimage()3250 reversed_relsym = LESS_OR_EQUAL; in generalized_affine_preimage()3253 reversed_relsym = LESS_THAN; in generalized_affine_preimage()3271 ? relsym : reversed_relsym; in generalized_affine_preimage()3282 = (denominator > 0) ? relsym : reversed_relsym; in generalized_affine_preimage()
3672 Relation_Symbol reversed_relsym; in generalized_affine_preimage() local3675 reversed_relsym = GREATER_THAN; in generalized_affine_preimage()3678 reversed_relsym = GREATER_OR_EQUAL; in generalized_affine_preimage()3681 reversed_relsym = LESS_OR_EQUAL; in generalized_affine_preimage()3684 reversed_relsym = LESS_THAN; in generalized_affine_preimage()3703 : reversed_relsym; in generalized_affine_preimage()3726 = (denominator > 0) ? relsym : reversed_relsym; in generalized_affine_preimage()
6214 const Relation_Symbol reversed_relsym = (relsym == LESS_OR_EQUAL) in generalized_affine_preimage() local6221 = (sgn(denominator) == sgn(inverse_denom)) ? relsym : reversed_relsym; in generalized_affine_preimage()
7077 const Relation_Symbol reversed_relsym = (relsym == LESS_OR_EQUAL) in generalized_affine_preimage() local7084 = (sgn(denominator) == sgn(inverse_denom)) ? relsym : reversed_relsym; in generalized_affine_preimage()
78131 const Relation_Symbol reversed_relsym = (relsym == LESS_OR_EQUAL)78138 = (sgn(denominator) == sgn(inverse_denom)) ? relsym : reversed_relsym;86761 const Relation_Symbol reversed_relsym = (relsym == LESS_OR_EQUAL)86768 = (sgn(denominator) == sgn(inverse_denom)) ? relsym : reversed_relsym;91291 Relation_Symbol reversed_relsym;91294 reversed_relsym = GREATER_THAN;91297 reversed_relsym = GREATER_OR_EQUAL;91300 reversed_relsym = LESS_OR_EQUAL;91303 reversed_relsym = LESS_THAN;91322 : reversed_relsym;[all …]