diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-01 10:08:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-01 10:08:19 -0500 |
| commit | bdcc170e1bf5bb62904c4a3ebbdc9902096799ba (patch) | |
| tree | ae8e7ea4eb10d94cfdc1dac3c9d49a00e7baa0a2 /src/Makefile.am | |
| parent | 5b6551c529506592da7c66e39a911d9299944eb8 (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.
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 3648e824b..d370a73bc 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -175,9 +175,13 @@ libcvc4_la_SOURCES = \ theory/theory_engine.h \ theory/theory_model.cpp \ theory/theory_model.h \ + theory/theory_model_builder.cpp \ + theory/theory_model_builder.h \ theory/theory_registrar.h \ theory/theory_test_utils.h \ theory/type_enumerator.h \ + theory/type_set.cpp \ + theory/type_set.h \ theory/unconstrained_simplifier.cpp \ theory/unconstrained_simplifier.h \ theory/valuation.cpp \ |