From 56ae577c97d43a25feb4308bcf12a6f8666f2588 Mon Sep 17 00:00:00 2001 From: Lev Date: Wed, 19 Sep 2018 11:44:12 -0700 Subject: [PATCH] rename the files Signed-off-by: Lev --- src/smt/theory_lra.cpp | 2 +- src/util/lp/CMakeLists.txt | 2 +- src/util/lp/{niil_solver.cpp => nla_solver.cpp} | 2 +- src/util/lp/{niil_solver.h => nla_solver.h} | 0 4 files changed, 3 insertions(+), 3 deletions(-) rename src/util/lp/{niil_solver.cpp => nla_solver.cpp} (99%) rename src/util/lp/{niil_solver.h => nla_solver.h} (100%) diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp index 321467740..25e9d9576 100644 --- a/src/smt/theory_lra.cpp +++ b/src/smt/theory_lra.cpp @@ -45,7 +45,7 @@ #include "ast/ast_pp.h" #include "util/cancel_eh.h" #include "util/scoped_timer.h" -#include "util/lp/niil_solver.h" +#include "util/lp/nla_solver.h" namespace lp_api { enum bound_kind { lower_t, upper_t }; diff --git a/src/util/lp/CMakeLists.txt b/src/util/lp/CMakeLists.txt index 082188635..3af8fdb0b 100644 --- a/src/util/lp/CMakeLists.txt +++ b/src/util/lp/CMakeLists.txt @@ -22,7 +22,7 @@ z3_add_component(lp lp_utils.cpp matrix.cpp mon_eq.cpp - niil_solver.cpp + nla_solver.cpp nra_solver.cpp permutation_matrix.cpp random_updater.cpp diff --git a/src/util/lp/niil_solver.cpp b/src/util/lp/nla_solver.cpp similarity index 99% rename from src/util/lp/niil_solver.cpp rename to src/util/lp/nla_solver.cpp index 63d57d4be..af215334b 100644 --- a/src/util/lp/niil_solver.cpp +++ b/src/util/lp/nla_solver.cpp @@ -17,7 +17,7 @@ --*/ -#include "util/lp/niil_solver.h" +#include "util/lp/nla_solver.h" #include "util/map.h" #include "util/lp/mon_eq.h" #include "util/lp/lp_utils.h" diff --git a/src/util/lp/niil_solver.h b/src/util/lp/nla_solver.h similarity index 100% rename from src/util/lp/niil_solver.h rename to src/util/lp/nla_solver.h