Searched refs:btor_opts (Results 1 – 4 of 4) sorted by relevance
/dports/math/boolector/boolector-3.2.2/src/utils/ |
H A D | btoroptparse.c | 20 BtorOpt *btor_opts, in btor_optparse_parse() argument 94 else if (has_str_arg && has_str_arg (o->name.start, btor_opts)) in btor_optparse_parse()
|
/dports/math/boolector/boolector-3.2.2/src/ |
H A D | btormain.c | 386 btormain_opt_has_str_arg (const char *opt, BtorOpt *btor_opts) in btormain_opt_has_str_arg() argument 403 if (((btor_opts[i].shrt && strcmp (opt, btor_opts[i].shrt) == 0) in btormain_opt_has_str_arg() 404 || strcmp (opt, btor_opts[i].lng) == 0) in btormain_opt_has_str_arg() 405 && btor_opts[i].options) in btormain_opt_has_str_arg()
|
H A D | btoruntrace.c | 73 BtorPtrHashTable *btor_opts; member 100 res->btor_opts = btor_hashptr_table_new (mm, btor_hash_str, btor_compare_str); in btorunt_new() 107 btor_hashptr_table_add (res->btor_opts, BTOR_OPT_NUM_OPTS_STR)->data.as_ptr = in btorunt_new() 122 btor_hashptr_table_add (res->btor_opts, lng)->data.as_ptr = opt; in btorunt_new() 148 btor_iter_hashptr_init (&it, unt->btor_opts); in btorunt_delete() 156 btor_hashptr_table_delete (unt->btor_opts); in btorunt_delete() 232 b = btor_hashptr_table_get (unt->btor_opts, (void *) opt); in btorunt_get_btor_opt()
|
H A D | btormbt.c | 818 BTOR_INIT_STACK (mm, mbt->btor_opts); in btormbt_new_btormbt() 856 BTOR_PUSH_STACK (mbt->btor_opts, btoropt); in btormbt_new_btormbt() 976 while (!BTOR_EMPTY_STACK (mbt->btor_opts)) in btormbt_delete_btormbt() 978 opt = BTOR_POP_STACK (mbt->btor_opts); in btormbt_delete_btormbt() 983 BTOR_RELEASE_STACK (mbt->btor_opts); in btormbt_delete_btormbt() 2689 btoropt_engine = mbt->btor_opts.start[BTOR_OPT_ENGINE]; in btormbt_state_opt() 2740 btoropt = mbt->btor_opts.start[BTOR_OPT_SAT_ENGINE]; in btormbt_state_opt() 2775 btoropt = mbt->btor_opts.start[BTOR_OPT_OUTPUT_FORMAT]; in btormbt_state_opt() 2804 for (i = 0; i < BTOR_COUNT_STACK (mbt->btor_opts); i++) in btormbt_state_opt() 2806 btoropt = BTOR_PEEK_STACK (mbt->btor_opts, i); in btormbt_state_opt() [all …]
|