patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Wrapped translated SAS variable definitions for usability in meta encodings.

This commit is contained in:
Patrick Lühne 2016-08-13 01:36:08 +02:00
parent d0864b9efe
commit 8a82f52100
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/plasp/sas/TranslatorASP.cpp
View File

@ -107,9 +107,9 @@ void TranslatorASP::translateVariables() const
BOOST_ASSERT(!values.empty());
m_outputStream << std::endl;
m_outputStream << std::endl << utils::Keyword("variable") << "(";
variable.printNameAsASPPredicate(m_outputStream);
m_outputStream << "." << std::endl;
m_outputStream << ")." << std::endl;
std::for_each(values.cbegin(), values.cend(),
[&](const auto &value)

1
src/plasp/sas/Variable.cpp
View File

@ -29,6 +29,7 @@ Variable Variable::fromSAS(utils::Parser<> &parser)
Variable variable;
parser.expect<std::string>("begin_variable");
parser.expect<std::string>("var");
variable.m_name = parser.parse<std::string>();
variable.m_axiomLayer = parser.parse<int>();