projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2b196b) | patch
Add class EnvObj. (#7113)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 2 Sep 2021 02:10:42 +0000 (19:10 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 02:10:42 +0000 (02:10 +0000)
commit9f48eb94a7a72338283492169a0d494fcdc57034
treee7f942325ff7e28e1b3bd8f3617b4e177d1e0409tree
parentd2b196b04078464ca843112baeeda5a81fe935a0commit | diff
Add class EnvObj. (#7113)

This class will serve as base class for classes that need access to the
environment. This does not yet have classes derive from this base class.

Will update #7110 and #7112 to use this after this is in.
src/CMakeLists.txt diff | blob | history
src/smt/env.h diff | blob | history
src/smt/env_obj.cpp [new file with mode: 0644] blob
src/smt/env_obj.h [new file with mode: 0644] blob