Searched refs:BTOR_QUANT_SYNTH_ELMR (Results 1 – 5 of 5) sorted by relevance
113 #define BTOR_QUANT_SYNTH_MAX BTOR_QUANT_SYNTH_ELMR114 #define BTOR_QUANT_SYNTH_DFLT BTOR_QUANT_SYNTH_ELMR
962 BTOR_QUANT_SYNTH_ELMR, enumerator
1204 BTOR_QUANT_SYNTH_ELMR, in btor_opt_init_opts()
994 assert (btor_opt_get (btor, BTOR_OPT_QUANT_SYNTH) != BTOR_QUANT_SYNTH_ELMR in synthesize()
1537 else if (opt_synth_mode == BTOR_QUANT_SYNTH_ELMR) in synthesize()1539 assert (opt_synth_mode == BTOR_QUANT_SYNTH_ELMR); in synthesize()