diff options
Diffstat (limited to 'src/preprocessing/preprocessing_pass_context.h')
| -rw-r--r-- | src/preprocessing/preprocessing_pass_context.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/preprocessing/preprocessing_pass_context.h b/src/preprocessing/preprocessing_pass_context.h index 66f4d9297..28f51d154 100644 --- a/src/preprocessing/preprocessing_pass_context.h +++ b/src/preprocessing/preprocessing_pass_context.h @@ -38,6 +38,9 @@ class PreprocessingPassContext { prop::PropEngine* getPropEngine() { return d_smt->d_propEngine; } context::Context* getUserContext() { return d_smt->d_userContext; } + /* Widen the logic to include the given theory. */ + void widenLogic(theory::TheoryId id); + private: /* Pointer to the SmtEngine that this context was created in. */ SmtEngine* d_smt; |