From 8b70f0b8335caa5fcbba1af63d0d491cd6ae97a5 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 20 Oct 2012 19:30:14 -0700
Subject: [PATCH] Reorganizing the code
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
mk_make.py | 1 +
{lib => src/model}/func_interp.cpp | 0
{lib => src/model}/func_interp.h | 0
{lib => src/model}/model.cpp | 0
{lib => src/model}/model.h | 0
{lib => src/model}/model_core.cpp | 0
{lib => src/model}/model_core.h | 0
{lib => src/model}/model_evaluator.cpp | 0
{lib => src/model}/model_evaluator.h | 0
{lib => src/model}/model_evaluator_params.cpp | 0
{lib => src/model}/model_params.cpp | 0
{lib => src/model}/model_params.h | 0
{lib => src/model}/model_pp.cpp | 0
{lib => src/model}/model_pp.h | 0
{lib => src/model}/model_smt2_pp.cpp | 0
{lib => src/model}/model_smt2_pp.h | 0
{lib => src/model}/model_v2_pp.cpp | 0
{lib => src/model}/model_v2_pp.h | 0
{lib => src/model}/proto_model.cpp | 0
{lib => src/model}/proto_model.h | 0
{lib => src/model}/value.cpp | 0
{lib => src/model}/value.h | 0
{lib => src/model}/value_factory.cpp | 0
{lib => src/model}/value_factory.h | 0
24 files changed, 1 insertion(+)
rename {lib => src/model}/func_interp.cpp (100%)
rename {lib => src/model}/func_interp.h (100%)
rename {lib => src/model}/model.cpp (100%)
rename {lib => src/model}/model.h (100%)
rename {lib => src/model}/model_core.cpp (100%)
rename {lib => src/model}/model_core.h (100%)
rename {lib => src/model}/model_evaluator.cpp (100%)
rename {lib => src/model}/model_evaluator.h (100%)
rename {lib => src/model}/model_evaluator_params.cpp (100%)
rename {lib => src/model}/model_params.cpp (100%)
rename {lib => src/model}/model_params.h (100%)
rename {lib => src/model}/model_pp.cpp (100%)
rename {lib => src/model}/model_pp.h (100%)
rename {lib => src/model}/model_smt2_pp.cpp (100%)
rename {lib => src/model}/model_smt2_pp.h (100%)
rename {lib => src/model}/model_v2_pp.cpp (100%)
rename {lib => src/model}/model_v2_pp.h (100%)
rename {lib => src/model}/proto_model.cpp (100%)
rename {lib => src/model}/proto_model.h (100%)
rename {lib => src/model}/value.cpp (100%)
rename {lib => src/model}/value.h (100%)
rename {lib => src/model}/value_factory.cpp (100%)
rename {lib => src/model}/value_factory.h (100%)
diff --git a/mk_make.py b/mk_make.py
index de60d621f..7b75f7d98 100644
--- a/mk_make.py
+++ b/mk_make.py
@@ -163,5 +163,6 @@ add_lib('nlsat', ['util', 'sat_core', 'polynomial'])
add_lib('subpaving', ['util'])
add_lib('ast', ['util', 'polynomial'])
add_lib('rewriter', ['util', 'ast', 'polynomial'])
+add_lib('model', ['util', 'ast', 'rewriter'])
add_lib('tactic', ['util', 'ast'])
diff --git a/lib/func_interp.cpp b/src/model/func_interp.cpp
similarity index 100%
rename from lib/func_interp.cpp
rename to src/model/func_interp.cpp
diff --git a/lib/func_interp.h b/src/model/func_interp.h
similarity index 100%
rename from lib/func_interp.h
rename to src/model/func_interp.h
diff --git a/lib/model.cpp b/src/model/model.cpp
similarity index 100%
rename from lib/model.cpp
rename to src/model/model.cpp
diff --git a/lib/model.h b/src/model/model.h
similarity index 100%
rename from lib/model.h
rename to src/model/model.h
diff --git a/lib/model_core.cpp b/src/model/model_core.cpp
similarity index 100%
rename from lib/model_core.cpp
rename to src/model/model_core.cpp
diff --git a/lib/model_core.h b/src/model/model_core.h
similarity index 100%
rename from lib/model_core.h
rename to src/model/model_core.h
diff --git a/lib/model_evaluator.cpp b/src/model/model_evaluator.cpp
similarity index 100%
rename from lib/model_evaluator.cpp
rename to src/model/model_evaluator.cpp
diff --git a/lib/model_evaluator.h b/src/model/model_evaluator.h
similarity index 100%
rename from lib/model_evaluator.h
rename to src/model/model_evaluator.h
diff --git a/lib/model_evaluator_params.cpp b/src/model/model_evaluator_params.cpp
similarity index 100%
rename from lib/model_evaluator_params.cpp
rename to src/model/model_evaluator_params.cpp
diff --git a/lib/model_params.cpp b/src/model/model_params.cpp
similarity index 100%
rename from lib/model_params.cpp
rename to src/model/model_params.cpp
diff --git a/lib/model_params.h b/src/model/model_params.h
similarity index 100%
rename from lib/model_params.h
rename to src/model/model_params.h
diff --git a/lib/model_pp.cpp b/src/model/model_pp.cpp
similarity index 100%
rename from lib/model_pp.cpp
rename to src/model/model_pp.cpp
diff --git a/lib/model_pp.h b/src/model/model_pp.h
similarity index 100%
rename from lib/model_pp.h
rename to src/model/model_pp.h
diff --git a/lib/model_smt2_pp.cpp b/src/model/model_smt2_pp.cpp
similarity index 100%
rename from lib/model_smt2_pp.cpp
rename to src/model/model_smt2_pp.cpp
diff --git a/lib/model_smt2_pp.h b/src/model/model_smt2_pp.h
similarity index 100%
rename from lib/model_smt2_pp.h
rename to src/model/model_smt2_pp.h
diff --git a/lib/model_v2_pp.cpp b/src/model/model_v2_pp.cpp
similarity index 100%
rename from lib/model_v2_pp.cpp
rename to src/model/model_v2_pp.cpp
diff --git a/lib/model_v2_pp.h b/src/model/model_v2_pp.h
similarity index 100%
rename from lib/model_v2_pp.h
rename to src/model/model_v2_pp.h
diff --git a/lib/proto_model.cpp b/src/model/proto_model.cpp
similarity index 100%
rename from lib/proto_model.cpp
rename to src/model/proto_model.cpp
diff --git a/lib/proto_model.h b/src/model/proto_model.h
similarity index 100%
rename from lib/proto_model.h
rename to src/model/proto_model.h
diff --git a/lib/value.cpp b/src/model/value.cpp
similarity index 100%
rename from lib/value.cpp
rename to src/model/value.cpp
diff --git a/lib/value.h b/src/model/value.h
similarity index 100%
rename from lib/value.h
rename to src/model/value.h
diff --git a/lib/value_factory.cpp b/src/model/value_factory.cpp
similarity index 100%
rename from lib/value_factory.cpp
rename to src/model/value_factory.cpp
diff --git a/lib/value_factory.h b/src/model/value_factory.h
similarity index 100%
rename from lib/value_factory.h
rename to src/model/value_factory.h