Lines Matching refs:ak
30 ext_numeral_kind ak) { in is_zero() argument
31 return ak == EN_NUMERAL && m.is_zero(a); in is_zero()
37 ext_numeral_kind ak) { in is_pos() argument
38 return ak == EN_PLUS_INFINITY || (ak == EN_NUMERAL && m.is_pos(a)); in is_pos()
44 ext_numeral_kind ak) { in is_neg() argument
45 return ak == EN_MINUS_INFINITY || (ak == EN_NUMERAL && m.is_neg(a)); in is_neg()
48 inline bool is_infinite(ext_numeral_kind ak) { return ak != EN_NUMERAL; } in is_infinite() argument
53 ext_numeral_kind & ak, in set() argument
57 ak = bk; in set()
63 ext_numeral_kind & ak) { in reset() argument
65 ak = EN_NUMERAL; in reset()
71 ext_numeral_kind & ak) { in neg() argument
72 switch (ak) { in neg()
74 ak = EN_PLUS_INFINITY; in neg()
80 ak = EN_MINUS_INFINITY; in neg()
88 ext_numeral_kind & ak) { in inv() argument
90 switch (ak) { in inv()
92 ak = EN_NUMERAL; in inv()
100 ak = EN_NUMERAL; in inv()
109 ext_numeral_kind ak, in add() argument
114 SASSERT(!(ak == EN_MINUS_INFINITY && bk == EN_PLUS_INFINITY)); // result is undefined in add()
115 SASSERT(!(ak == EN_PLUS_INFINITY && bk == EN_MINUS_INFINITY)); // result is undefined in add()
116 if (ak != EN_NUMERAL) { in add()
118 ck = ak; in add()
133 ext_numeral_kind ak, in sub() argument
138 SASSERT(!(ak == EN_MINUS_INFINITY && bk == EN_MINUS_INFINITY)); // result is undefined in sub()
139 SASSERT(!(ak == EN_PLUS_INFINITY && bk == EN_PLUS_INFINITY)); // result is undefined in sub()
140 if (ak != EN_NUMERAL) { in sub()
141 SASSERT(bk != ak); in sub()
143 ck = ak; in sub()
166 ext_numeral_kind ak, in mul() argument
171 if (is_zero(m, a, ak) || is_zero(m, b, bk)) { in mul()
175 else if (is_infinite(ak) || is_infinite(bk)) { in mul()
176 if (is_pos(m, a, ak) == is_pos(m, b, bk)) in mul()
191 ext_numeral_kind ak, in div() argument
197 if (is_zero(m, a, ak)) { in div()
202 else if (is_infinite(ak)) { in div()
204 if (is_pos(m, a, ak) == is_pos(m, b, bk)) in div()
211 SASSERT(!is_infinite(ak)); in div()
225 ext_numeral_kind & ak, in power() argument
227 switch (ak) { in power()
230 ak = EN_PLUS_INFINITY; in power()
246 ext_numeral_kind ak, in eq() argument
249 if (ak == EN_NUMERAL) { in eq()
253 return ak == bk; in eq()
260 ext_numeral_kind ak, in neq() argument
263 return !eq(m, a, ak, b, bk); in neq()
269 ext_numeral_kind ak, in lt() argument
272 switch (ak) { in lt()
298 ext_numeral_kind ak, in gt() argument
301 return lt(m, b, bk, a, ak); in gt()
307 ext_numeral_kind ak, in le() argument
310 return !gt(m, a, ak, b, bk); in le()
316 ext_numeral_kind ak, in ge() argument
319 return !lt(m, a, ak, b, bk); in ge()
326 ext_numeral_kind ak) { in display() argument
327 switch (ak) { in display()
338 ext_numeral_kind ak) { in display_pp() argument
339 switch (ak) { in display_pp()