Home
last modified time | relevance | path

Searched refs:btor_opts (Results 1 – 4 of 4) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/utils/
H A Dbtoroptparse.c20 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 Dbtormain.c386 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 Dbtoruntrace.c73 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 Dbtormbt.c818 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 …]