projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67e6694) | patch
EnvObj: Restrict access. (#7121)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 2 Sep 2021 19:04:11 +0000 (12:04 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 19:04:11 +0000 (19:04 +0000)
commit7ff254480c38b721a506bb0c174bcd8cb34924ef
tree144db0e1004db85923f5dc9da4f468a652f7c570tree
parent67e6694f10919292ecc23b7ced60818ee13025e8commit | diff
EnvObj: Restrict access. (#7121)

This makes all members of EnvObj protected in order to prevent creating
EnvObj instances and call member functions. It further uses protected
inheritance (instead of public) for derived classes in order to disallow
`EnvObj* a = new DerivedObj();`.
src/preprocessing/preprocessing_pass.h diff | blob | history
src/preprocessing/util/ite_utilities.h diff | blob | history
src/smt/env_obj.h diff | blob | history