Searched refs:boolector_get_opt_dflt (Results 1 – 7 of 7) sorted by relevance
457 uint32_t boolector_get_opt_dflt (Btor *btor, BtorOption opt);
117 dflt = boolector_get_opt_dflt (tmpbtor, o); in btorunt_new()846 ret_uint = boolector_get_opt_dflt (btor, opt); in parse()
832 btoropt->dflt = boolector_get_opt_dflt (tmpbtor, opt); in btormbt_new_btormbt()
892 boolector_get_opt_dflt (Btor *btor, BtorOption opt) in boolector_get_opt_dflt() function
126 uint32_t boolector_get_opt_dflt (Btor * btor, BtorOption opt) \
238 return btorapi.boolector_get_opt_dflt(self.btor._c_btor,
177 - boolector_get_opt_dflt