Searched refs:bvmono64_t (Results 1 – 9 of 9) sorted by relevance
65 } bvmono64_t; typedef71 bvmono64_t mono[0]; // actual size = nterms + 178 #define MAX_BVPOLY64_SIZE (((UINT32_MAX-sizeof(bvpoly64_t))/sizeof(bvmono64_t))-1)
47 tmp = (bvpoly64_t *) safe_malloc(sizeof(bvpoly64_t) + (n+1) * sizeof(bvmono64_t)); in alloc_bvpoly64()62 bvmono64_t *mono; in hash_bvpoly64()98 bvmono64_t *b1, *b2; in equal_bvpoly64()123 bvmono64_t *b1, *b2; in disequal_bvpoly64()
1110 static bool good_pprod_array(bvmono64_t *poly, pprod_t **pp) { in good_pprod_array()1137 bvmono64_t *m; in bvarith64_buffer_add_bvpoly()1187 bvmono64_t *m; in bvarith64_buffer_sub_bvpoly()1238 bvmono64_t *m; in bvarith64_buffer_add_const_times_bvpoly()1296 bvmono64_t *m; in bvarith64_buffer_add_mono_times_bvpoly()1486 bvmono64_t *mono; in bvarith64_buffer_equal_bvpoly()
195 bvmono64_t *mono; in free_vars_of_bvpoly64()
236 bvmono64_t *m; in fsubst_visit_bv64_poly()
3503 bvmono64_t *q; in mark_bvpoly64()
196 bvmono64_t *mono; in support_of_bvpoly64()
514 bvmono64_t *m;
1498 bvmono64_t *m; in visit_bv64_poly()