projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 983f41e) | patch
Add the distributed model manager (#4934)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 24 Aug 2020 18:16:04 +0000 (13:16 -0500)
committerGitHub <noreply@github.com>
Mon, 24 Aug 2020 18:16:04 +0000 (13:16 -0500)
commit6d53928cd9f16385d81124916311c372ec20b5ed
tree613e51c10005b401fd8b181bb94426c7d3834ab9tree
parent983f41ea94f68e90d24e353ae3fd1aca04ac56ffcommit | diff
Add the distributed model manager (#4934)

This class is responsible for model building when using a distributed approach for equality engines.

This PR defines the class but does not yet activate it in TheoryEngine.

This includes some model-specific things from TheoryEngine which will be migrated to this class on the next PR.
src/CMakeLists.txt diff | blob | history
src/theory/model_manager.cpp [new file with mode: 0644] blob
src/theory/model_manager.h [new file with mode: 0644] blob
src/theory/model_manager_distributed.cpp [new file with mode: 0644] blob
src/theory/model_manager_distributed.h [new file with mode: 0644] blob