Searched refs:d_aloc_curr_model (Results 1 – 2 of 2) sorted by relevance
211 bool d_aloc_curr_model; variable
239 d_aloc_curr_model = true; in finishInit()297 d_aloc_curr_model(false), in TheoryEngine()359 if( d_aloc_curr_model ){ in ~TheoryEngine()