add the missing headers

vprover · Apr 19, 2024 · fd6fa06 · fd6fa06
1 parent 40fe242
commit fd6fa06
Show file tree

Hide file tree

Showing 16 changed files with 145 additions and 1 deletion.
diff --git a/Inferences/ForwardSubsumptionAndResolution.cpp b/Inferences/ForwardSubsumptionAndResolution.cpp
@@ -4,7 +4,7 @@
  * copyright laws.
  *
  * This source code is distributed under the licence found here
- * https://vprover.github.io/license.htmlmatch2.
+ * https://vprover.github.io/license.html
  * and in the source directory
  */
 /**

diff --git a/SATSubsumption/subsat/SubstitutionTheory.hpp b/SATSubsumption/subsat/SubstitutionTheory.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef SUBSTITUTIONTHEORY_HPP
 #define SUBSTITUTIONTHEORY_HPP
 

diff --git a/SATSubsumption/subsat/constraint.cpp b/SATSubsumption/subsat/constraint.cpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #include "./constraint.hpp"
 
 namespace subsat {

diff --git a/SATSubsumption/subsat/constraint.hpp b/SATSubsumption/subsat/constraint.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef SUBSAT_CONSTRAINT_HPP
 #define SUBSAT_CONSTRAINT_HPP
 

diff --git a/SATSubsumption/subsat/decision_queue.hpp b/SATSubsumption/subsat/decision_queue.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef DECISION_QUEUE_HPP
 #define DECISION_QUEUE_HPP
 

diff --git a/SATSubsumption/subsat/default_init_allocator.hpp b/SATSubsumption/subsat/default_init_allocator.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef DEFAULT_INIT_ALLOCATOR_HPP
 #define DEFAULT_INIT_ALLOCATOR_HPP
 

diff --git a/SATSubsumption/subsat/log.cpp b/SATSubsumption/subsat/log.cpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #include <unistd.h>
 #include <utility>
 

diff --git a/SATSubsumption/subsat/log.hpp b/SATSubsumption/subsat/log.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef SUBSAT_LOG_HPP
 #define SUBSAT_LOG_HPP
 

diff --git a/SATSubsumption/subsat/subsat.cpp b/SATSubsumption/subsat/subsat.cpp
@@ -1,3 +1,21 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #include "./subsat.hpp"
 
 

diff --git a/SATSubsumption/subsat/subsat.hpp b/SATSubsumption/subsat/subsat.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef SUBSAT_HPP
 #define SUBSAT_HPP
 

diff --git a/SATSubsumption/subsat/subsat_config.hpp b/SATSubsumption/subsat/subsat_config.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef SUBSAT_CONFIG_HPP
 #define SUBSAT_CONFIG_HPP
 

diff --git a/SATSubsumption/subsat/subsat_main.cpp b/SATSubsumption/subsat/subsat_main.cpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #include "./subsat.hpp"
 
 #include <fstream>

diff --git a/SATSubsumption/subsat/types.cpp b/SATSubsumption/subsat/types.cpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #include "./types.hpp"
 
 namespace subsat {

diff --git a/SATSubsumption/subsat/types.hpp b/SATSubsumption/subsat/types.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef TYPES_HPP
 #define TYPES_HPP
 

diff --git a/SATSubsumption/subsat/variable_domain_size.hpp b/SATSubsumption/subsat/variable_domain_size.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef VARIABLE_DOMAIN_SIZE_HPP
 #define VARIABLE_DOMAIN_SIZE_HPP
 

diff --git a/SATSubsumption/subsat/vector_map.hpp b/SATSubsumption/subsat/vector_map.hpp
@@ -1,3 +1,12 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
 #ifndef VECTOR_MAP_HPP
 #define VECTOR_MAP_HPP