patrick
/
plasp
Archived
1
0
Fork 0

Minor formatting.

This commit is contained in:
Patrick Lühne 2016-05-20 17:03:56 +02:00
parent 48bd3c77ad
commit eee7a3da4d
1 changed files with 2 additions and 2 deletions

View File

@ -64,7 +64,7 @@ void Description::print(std::ostream &ostream) const
std::for_each(m_variables.cbegin(), m_variables.cend(),
[&](const auto &variable)
{
ostream << "\t" << variable.name << std::endl;
ostream << "\t" << variable.name << ":" << std::endl;
ostream << "\t\tvalues: " << variable.values.size() << std::endl;
std::for_each(variable.values.cbegin(), variable.values.cend(),
@ -115,7 +115,7 @@ void Description::print(std::ostream &ostream) const
std::for_each(m_operators.cbegin(), m_operators.cend(),
[&](const auto &operator_)
{
ostream << "\t" << operator_.name << std::endl;
ostream << "\t" << operator_.name << ":" << std::endl;
ostream << "\t\tpreconditions: " << operator_.preconditions.size() << std::endl;
std::for_each(operator_.preconditions.cbegin(), operator_.preconditions.cend(),