diff options
Diffstat (limited to 'src/theory/model_manager.h')
-rw-r--r-- | src/theory/model_manager.h | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/theory/model_manager.h b/src/theory/model_manager.h index 50cd6a3d2..41559e7b6 100644 --- a/src/theory/model_manager.h +++ b/src/theory/model_manager.h @@ -73,7 +73,7 @@ class ModelManager */ void postProcessModel(bool incomplete); /** Get a pointer to model object maintained by this class. */ - theory::TheoryModel* getModel(); + TheoryModel* getModel(); //------------------------ finer grained control over model building /** * Prepare model, which is the manager-specific method for setting up the @@ -138,14 +138,12 @@ class ModelManager eq::EqualityEngine* d_modelEqualityEngine; /** The equality engine of the model, if we allocated it */ std::unique_ptr<eq::EqualityEngine> d_modelEqualityEngineAlloc; - /** The model object we are using */ - theory::TheoryModel* d_model; /** The model object we have allocated (if one exists) */ - std::unique_ptr<theory::TheoryModel> d_alocModel; + std::unique_ptr<TheoryModel> d_model; /** The model builder object we are using */ - theory::TheoryEngineModelBuilder* d_modelBuilder; + TheoryEngineModelBuilder* d_modelBuilder; /** The model builder object we have allocated (if one exists) */ - std::unique_ptr<theory::TheoryEngineModelBuilder> d_alocModelBuilder; + std::unique_ptr<TheoryEngineModelBuilder> d_alocModelBuilder; /** whether we have tried to build this model in the current context */ bool d_modelBuilt; /** whether this model has been built successfully */ |