Searched refs:setEagerModelBuilding (Results 1 – 2 of 2) sorted by relevance
766 void setEagerModelBuilding() { d_eager_model_building = true; } in setEagerModelBuilding() function
4371 d_theoryEngine->setEagerModelBuilding(); in getModel()