Lines Matching refs:btor_opts
646 BtorMBTBtorOptPtrStack btor_opts; /* maintains all available boolector opts */ member
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()
2796 btoropt = mbt->btor_opts.start[BTOR_OPT_OUTPUT_NUMBER_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()
4041 assert (BTOR_COUNT_STACK (g_btormbt->btor_opts)); in main()
4042 for (j = 0, btoropt = 0; j < BTOR_COUNT_STACK (g_btormbt->btor_opts); j++) in main()
4044 tmpopt = BTOR_PEEK_STACK (g_btormbt->btor_opts, j); in main()