From 0803db21d3bf31a532a29b94078830da9fa7c52e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 14 Nov 2015 13:21:47 -0800 Subject: [PATCH] refactor(library/blast): add "_action" suffix to files defining actions --- src/library/blast/CMakeLists.txt | 6 +++--- src/library/blast/{backward.cpp => backward_action.cpp} | 0 src/library/blast/{backward.h => backward_action.h} | 0 src/library/blast/{intros.cpp => intros_action.cpp} | 0 src/library/blast/{intros.h => intros_action.h} | 0 .../blast/{no_confusion.cpp => no_confusion_action.cpp} | 0 .../blast/{no_confusion.h => no_confusion_action.h} | 0 src/library/blast/{revert.cpp => revert_action.cpp} | 2 +- src/library/blast/{revert.h => revert_action.h} | 0 src/library/blast/simple_strategy.cpp | 8 ++++---- src/library/blast/{subst.cpp => subst_action.cpp} | 4 ++-- src/library/blast/{subst.h => subst_action.h} | 0 12 files changed, 10 insertions(+), 10 deletions(-) rename src/library/blast/{backward.cpp => backward_action.cpp} (100%) rename src/library/blast/{backward.h => backward_action.h} (100%) rename src/library/blast/{intros.cpp => intros_action.cpp} (100%) rename src/library/blast/{intros.h => intros_action.h} (100%) rename src/library/blast/{no_confusion.cpp => no_confusion_action.cpp} (100%) rename src/library/blast/{no_confusion.h => no_confusion_action.h} (100%) rename src/library/blast/{revert.cpp => revert_action.cpp} (97%) rename src/library/blast/{revert.h => revert_action.h} (100%) rename src/library/blast/{subst.cpp => subst_action.cpp} (98%) rename src/library/blast/{subst.h => subst_action.h} (100%) diff --git a/src/library/blast/CMakeLists.txt b/src/library/blast/CMakeLists.txt index b6e256056..43ca3e848 100644 --- a/src/library/blast/CMakeLists.txt +++ b/src/library/blast/CMakeLists.txt @@ -1,4 +1,4 @@ add_library(blast OBJECT expr.cpp state.cpp blast.cpp blast_tactic.cpp - init_module.cpp simplifier.cpp simple_actions.cpp intros.cpp proof_expr.cpp - options.cpp choice_point.cpp simple_strategy.cpp backward.cpp util.cpp - gexpr.cpp revert.cpp subst.cpp no_confusion.cpp) + init_module.cpp simplifier.cpp simple_actions.cpp intros_action.cpp proof_expr.cpp + options.cpp choice_point.cpp simple_strategy.cpp backward_action.cpp util.cpp + gexpr.cpp revert_action.cpp subst_action.cpp no_confusion_action.cpp) diff --git a/src/library/blast/backward.cpp b/src/library/blast/backward_action.cpp similarity index 100% rename from src/library/blast/backward.cpp rename to src/library/blast/backward_action.cpp diff --git a/src/library/blast/backward.h b/src/library/blast/backward_action.h similarity index 100% rename from src/library/blast/backward.h rename to src/library/blast/backward_action.h diff --git a/src/library/blast/intros.cpp b/src/library/blast/intros_action.cpp similarity index 100% rename from src/library/blast/intros.cpp rename to src/library/blast/intros_action.cpp diff --git a/src/library/blast/intros.h b/src/library/blast/intros_action.h similarity index 100% rename from src/library/blast/intros.h rename to src/library/blast/intros_action.h diff --git a/src/library/blast/no_confusion.cpp b/src/library/blast/no_confusion_action.cpp similarity index 100% rename from src/library/blast/no_confusion.cpp rename to src/library/blast/no_confusion_action.cpp diff --git a/src/library/blast/no_confusion.h b/src/library/blast/no_confusion_action.h similarity index 100% rename from src/library/blast/no_confusion.h rename to src/library/blast/no_confusion_action.h diff --git a/src/library/blast/revert.cpp b/src/library/blast/revert_action.cpp similarity index 97% rename from src/library/blast/revert.cpp rename to src/library/blast/revert_action.cpp index db2954c40..b26240ec6 100644 --- a/src/library/blast/revert.cpp +++ b/src/library/blast/revert_action.cpp @@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Author: Leonardo de Moura */ -#include "library/blast/revert.h" +#include "library/blast/revert_action.h" #include "library/blast/blast.h" namespace lean { diff --git a/src/library/blast/revert.h b/src/library/blast/revert_action.h similarity index 100% rename from src/library/blast/revert.h rename to src/library/blast/revert_action.h diff --git a/src/library/blast/simple_strategy.cpp b/src/library/blast/simple_strategy.cpp index bfcd240a1..d01735fea 100644 --- a/src/library/blast/simple_strategy.cpp +++ b/src/library/blast/simple_strategy.cpp @@ -9,10 +9,10 @@ Author: Leonardo de Moura #include "library/blast/choice_point.h" #include "library/blast/simple_actions.h" #include "library/blast/proof_expr.h" -#include "library/blast/intros.h" -#include "library/blast/subst.h" -#include "library/blast/backward.h" -#include "library/blast/no_confusion.h" +#include "library/blast/intros_action.h" +#include "library/blast/subst_action.h" +#include "library/blast/backward_action.h" +#include "library/blast/no_confusion_action.h" namespace lean { namespace blast { diff --git a/src/library/blast/subst.cpp b/src/library/blast/subst_action.cpp similarity index 98% rename from src/library/blast/subst.cpp rename to src/library/blast/subst_action.cpp index 574a4e3dc..8bc919b88 100644 --- a/src/library/blast/subst.cpp +++ b/src/library/blast/subst_action.cpp @@ -6,8 +6,8 @@ Author: Leonardo de Moura */ #include "kernel/abstract.h" #include "kernel/instantiate.h" -#include "library/blast/revert.h" -#include "library/blast/intros.h" +#include "library/blast/revert_action.h" +#include "library/blast/intros_action.h" #include "library/blast/blast.h" namespace lean { diff --git a/src/library/blast/subst.h b/src/library/blast/subst_action.h similarity index 100% rename from src/library/blast/subst.h rename to src/library/blast/subst_action.h