Lines Matching refs:rem
780 PROTO {* int bvec_div(bvec e, int c, bvec *res, bvec *rem) *}
784 {\tt rem}. Both vectors should be initialized as the function
790 int bvec_divfixed(bvec e, int c, bvec *res, bvec *rem)
808 *rem = remainder;
833 PROTO {* int bvec_div(bvec l, bvec r, bvec *res, bvec *rem) *}
837 {\tt rem}. Both vectors should be initialized as the function
848 bvec rem;
857 rem = bvec_coerce(bitnum, left);
868 bdd divLteRem = bdd_addref( bvec_lte(div, rem) );
869 bvec remSubDiv = bvec_sub(rem, div);
874 remSubDiv.bitvec[m],rem.bitvec[m]) );
875 bdd_delref( rem.bitvec[m] );
876 rem.bitvec[m] = remtmp;
898 *remainder = bvec_coerce(right.bitnum, rem);
900 /*bvec_delref(rem);*/
901 bvec_free(rem);