diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2018-04-25 11:54:23 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-25 11:54:23 -0700 |
commit | a2df47ad560843301ba98c79f1f0fe5d6091c0ae (patch) | |
tree | 8c2683dab7f7f856aebdf05fe439481358fd5f98 /src/preprocessing/preprocessing_pass_registry.h | |
parent | 6445c3dbf5fed9fa32426f041061234b5ac407f7 (diff) |
Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788)
Diffstat (limited to 'src/preprocessing/preprocessing_pass_registry.h')
-rw-r--r-- | src/preprocessing/preprocessing_pass_registry.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/preprocessing/preprocessing_pass_registry.h b/src/preprocessing/preprocessing_pass_registry.h index 37cff676b..e374a6bdb 100644 --- a/src/preprocessing/preprocessing_pass_registry.h +++ b/src/preprocessing/preprocessing_pass_registry.h @@ -42,6 +42,11 @@ class PreprocessingPassRegistry { */ PreprocessingPass* getPass(const std::string& ppName); + /** + Clears all passes from the registry. + */ + void unregisterPasses(); + private: bool hasPass(const std::string& ppName); |