patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Renamed auxiliary variables according to paper draft.

Browse Source
This commit is contained in:
Patrick Lühne
2016-11-24 15:24:16 +01:00
parent 223d380a03
commit c24147cb2c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/anthem/Utils.h
View File

@@ -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 = "_";
////////////////////////////////////////////////////////////////////////////////////////////////////