projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b6551c) | patch
(Move-only) Refactor and document theory model part 2 (#1305)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 1 Nov 2017 15:08:19 +0000 (10:08 -0500)
committerGitHub <noreply@github.com>
Wed, 1 Nov 2017 15:08:19 +0000 (10:08 -0500)
commitbdcc170e1bf5bb62904c4a3ebbdc9902096799ba
treeae8e7ea4eb10d94cfdc1dac3c9d49a00e7baa0a2tree
parent5b6551c529506592da7c66e39a911d9299944eb8commit | diff
(Move-only) Refactor and document theory model part 2 (#1305)

* Move type set to its own file and document.

* Move theory engine model builder to its own class.

* Working on documentation.

* Document Theory Model.

* Minor

* Document theory model builder.

* Clang format

* Address review.
src/Makefile.am diff | blob | history
src/theory/quantifiers/model_builder.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/theory_model.h diff | blob | history
src/theory/theory_model_builder.cpp [new file with mode: 0644] blob
src/theory/theory_model_builder.h [new file with mode: 0644] blob
src/theory/type_set.cpp [new file with mode: 0644] blob
src/theory/type_set.h [new file with mode: 0644] blob