fix headers

ModelWriter · Nov 14, 2017 · d0b99f2 · d0b99f2
1 parent b9e064f
commit d0b99f2
Show file tree

Hide file tree

Showing 656 changed files with 1,314 additions and 1,314 deletions.
diff --git a/Api/FormulaBuilder.cpp b/Api/FormulaBuilder.cpp
@@ -3,15 +3,15 @@
  * File FormulaBuilder.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/FormulaBuilder.hpp b/Api/FormulaBuilder.hpp
@@ -3,15 +3,15 @@
  * File FormulaBuilder.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/Helper.cpp b/Api/Helper.cpp
@@ -3,15 +3,15 @@
  * File Helper.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/Helper.hpp b/Api/Helper.hpp
@@ -3,15 +3,15 @@
  * File Helper.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/Helper_Internal.hpp b/Api/Helper_Internal.hpp
@@ -3,15 +3,15 @@
  * File Helper_Internal.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/Problem.cpp b/Api/Problem.cpp
@@ -3,15 +3,15 @@
  * File Problem.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/Problem.hpp b/Api/Problem.hpp
@@ -3,15 +3,15 @@
  * File Problem.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/ResourceLimits.cpp b/Api/ResourceLimits.cpp
@@ -3,15 +3,15 @@
  * File ResourceLimits.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/ResourceLimits.hpp b/Api/ResourceLimits.hpp
@@ -3,15 +3,15 @@
  * File ResourceLimits.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/Tracing.cpp b/Api/Tracing.cpp
@@ -3,15 +3,15 @@
  * File Tracing.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/Api/Tracing.hpp b/Api/Tracing.hpp
@@ -3,15 +3,15 @@
  * File Tracing.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/CLTBMode.cpp b/CASC/CLTBMode.cpp
@@ -3,15 +3,15 @@
  * File CLTBMode.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/CLTBMode.hpp b/CASC/CLTBMode.hpp
@@ -3,15 +3,15 @@
  * File CLTBMode.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/CLTBModeLearning.cpp b/CASC/CLTBModeLearning.cpp
@@ -3,15 +3,15 @@
  * File CLTBModeLearning.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/CLTBModeLearning.hpp b/CASC/CLTBModeLearning.hpp
@@ -3,15 +3,15 @@
  * File CLTBModeLearning.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
@@ -3,15 +3,15 @@
  * File PortfolioMode.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/PortfolioMode.hpp b/CASC/PortfolioMode.hpp
@@ -3,15 +3,15 @@
  * File PortfolioMode.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/Schedules.cpp b/CASC/Schedules.cpp
@@ -3,15 +3,15 @@
  * File Schedules.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/CASC/Schedules.hpp b/CASC/Schedules.hpp
@@ -3,15 +3,15 @@
  * File Schedules.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/DP/DecisionProcedure.hpp b/DP/DecisionProcedure.hpp
@@ -3,15 +3,15 @@
  * File DecisionProcedure.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/DP/ShortConflictMetaDP.cpp b/DP/ShortConflictMetaDP.cpp
@@ -3,15 +3,15 @@
  * File ShortConflictMetaDP.cpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide. 

diff --git a/DP/ShortConflictMetaDP.hpp b/DP/ShortConflictMetaDP.hpp
@@ -3,15 +3,15 @@
  * File ShortConflictMetaDP.hpp.
  *
  * This file is part of the source code of the software program
- * Vampire 4.2.2 (unstable). It is protected by applicable
+ * 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
  *
  * In summary, you are allowed to use Vampire for non-commercial
- * uses but not allowed to distribute, modify, copy, create derivatives,
+ * purposes but not allowed to distribute, modify, copy, create derivatives,
  * or use in competitions. 
  * For other uses of Vampire please contact developers for a different
  * licence, which we will make an effort to provide.