187   static bool increment(IntegralAP A, IntegralAP *R) {  in increment()
192   static bool decrement(IntegralAP A, IntegralAP *R) {  in decrement()
197   static bool add(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {  in add()
201   static bool sub(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {  in sub()
205   static bool mul(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {  in mul()
209   static bool rem(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {  in rem()
217   static bool div(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {  in div()
226                      IntegralAP *R) {  in bitAnd()
232                     IntegralAP *R) {  in bitOr()
238                      IntegralAP *R) {  in bitXor()
243   static bool neg(const IntegralAP &A, IntegralAP *R) {  in neg()
250   static bool comp(IntegralAP A, IntegralAP *R) {  in comp()
256                         IntegralAP *R) {  in shiftLeft()
261                          unsigned OpBits, IntegralAP *R) {  in shiftRight()
297                                unsigned BitWidth, IntegralAP *R) {  in CheckAddSubMulUB()