Searched defs:bv_const (Results 1 – 4 of 4) sorted by relevance
423 BtorNode *cur_btor, *cur_clone, *bv_const, *bv_eq; in assume_inputs() local
3017 …inline expr context::bv_const(char const * name, unsigned sz) { return constant(name, bv_sort(sz))… in bv_const() function
3174 …inline expr context::bv_const(char const * name, unsigned sz) { return constant(name, bv_sort(sz))… in bv_const() function
3437 …inline expr context::bv_const(char const * name, unsigned sz) { return constant(name, bv_sort(sz))… in bv_const() function