From c24147cb2c12799a5392ddb4592a7224e27e6d28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 15:24:16 +0100 Subject: [PATCH] Renamed auxiliary variables according to paper draft. --- include/anthem/Utils.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/anthem/Utils.h b/include/anthem/Utils.h index 4c90aad..d62186e 100644 --- a/include/anthem/Utils.h +++ b/include/anthem/Utils.h @@ -56,8 +56,8 @@ inline bool isPrefix(const char *prefix, const char *string) //////////////////////////////////////////////////////////////////////////////////////////////////// -constexpr const auto AuxiliaryHeadVariablePrefix = "H"; -constexpr const auto AuxiliaryBodyVariablePrefix = "B"; +constexpr const auto AuxiliaryHeadVariablePrefix = "V"; +constexpr const auto AuxiliaryBodyVariablePrefix = "X"; constexpr const auto UserVariablePrefix = "_"; ////////////////////////////////////////////////////////////////////////////////////////////////////