Searched refs:d_aloc_curr_model_builder (Results 1 – 2 of 2) sorted by relevance
216 bool d_aloc_curr_model_builder; variable
244 d_aloc_curr_model_builder = true; in finishInit()299 d_aloc_curr_model_builder(false), in TheoryEngine()356 if( d_aloc_curr_model_builder ){ in ~TheoryEngine()