From 4a0700a15422c8bacce0b27680bf8d3bd3351504 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Sun, 27 Aug 2017 18:09:33 -0700 Subject: [PATCH] Class renaming --- .../{orderencoder.cc => orderanalysis.cc} | 2 +- src/ASTAnalyses/{orderencoder.h => orderanalysis.h} | 13 +++---------- src/ASTTransform/orderdecompose.cc | 2 +- src/Backend/satorderencoder.cc | 2 +- src/Tuner/autotuner.cc | 4 ++++ 5 files changed, 10 insertions(+), 13 deletions(-) rename src/ASTAnalyses/{orderencoder.cc => orderanalysis.cc} (99%) rename src/ASTAnalyses/{orderencoder.h => orderanalysis.h} (86%) diff --git a/src/ASTAnalyses/orderencoder.cc b/src/ASTAnalyses/orderanalysis.cc similarity index 99% rename from src/ASTAnalyses/orderencoder.cc rename to src/ASTAnalyses/orderanalysis.cc index 5d94206..57443c1 100644 --- a/src/ASTAnalyses/orderencoder.cc +++ b/src/ASTAnalyses/orderanalysis.cc @@ -1,4 +1,4 @@ -#include "orderencoder.h" +#include "orderanalysis.h" #include "structs.h" #include "csolver.h" #include "boolean.h" diff --git a/src/ASTAnalyses/orderencoder.h b/src/ASTAnalyses/orderanalysis.h similarity index 86% rename from src/ASTAnalyses/orderencoder.h rename to src/ASTAnalyses/orderanalysis.h index 57a6e5c..9a8daf9 100644 --- a/src/ASTAnalyses/orderencoder.h +++ b/src/ASTAnalyses/orderanalysis.h @@ -1,12 +1,5 @@ -/* - * File: orderencoder.h - * Author: hamed - * - * Created on August 8, 2017, 6:36 PM - */ - -#ifndef ORDERGRAPHBUILDER_H -#define ORDERGRAPHBUILDER_H +#ifndef ORDERANALYSIS_H +#define ORDERANALYSIS_H #include "classlist.h" #include "structs.h" #include "mymemory.h" @@ -28,5 +21,5 @@ void reachMustAnalysis(CSolver *solver, OrderGraph *graph, bool computeTransitiv void localMustAnalysisTotal(CSolver *solver, OrderGraph *graph); void localMustAnalysisPartial(CSolver *solver, OrderGraph *graph); -#endif/* ORDERGRAPHBUILDER_H */ +#endif diff --git a/src/ASTTransform/orderdecompose.cc b/src/ASTTransform/orderdecompose.cc index 18602cc..9a60497 100644 --- a/src/ASTTransform/orderdecompose.cc +++ b/src/ASTTransform/orderdecompose.cc @@ -9,7 +9,7 @@ #include "mutableset.h" #include "ops.h" #include "csolver.h" -#include "orderencoder.h" +#include "orderanalysis.h" #include "tunable.h" #include "integerencoding.h" diff --git a/src/Backend/satorderencoder.cc b/src/Backend/satorderencoder.cc index 20d163b..750be42 100644 --- a/src/Backend/satorderencoder.cc +++ b/src/Backend/satorderencoder.cc @@ -6,7 +6,7 @@ #include "orderpair.h" #include "set.h" #include "tunable.h" -#include "orderencoder.h" +#include "orderanalysis.h" #include "ordergraph.h" #include "orderedge.h" #include "element.h" diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc index 37a9d07..e1868c1 100644 --- a/src/Tuner/autotuner.cc +++ b/src/Tuner/autotuner.cc @@ -1,3 +1,7 @@ #include "autotuner.h" #include "csolver.h" +void AutoTuner::tune(CSolver *base) { + + +} -- 2.34.1