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

Fixed PDDL problem header parsing.

This commit is contained in:
Patrick Lühne 2016-06-08 01:51:21 +02:00
parent 374ac3b07f
commit bf0e636d57
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/plasp/pddl/Problem.cpp
View File

@ -31,6 +31,11 @@ Problem::Problem(Context &context, Domain &domain)
void Problem::readPDDL()
{
m_context.parser.expect<std::string>("(");
m_context.parser.expect<std::string>("define");
m_context.parser.expect<std::string>("(");
m_context.parser.expect<std::string>("problem");
m_name = m_context.parser.parseIdentifier(isIdentifier);
std::cout << "Parsing problem " << m_name << std::endl;