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

Testing initial state for Blocks World problem.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-09 18:13:19 +02:00
parent 6f1b38cdb7
commit 2da5be548a
1 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
tests/TestPDDLParser.cpp
View File

@ -121,7 +121,22 @@ TEST(PDDLParserTests, ParseBlocksWorldProblem)
ASSERT_NE(problem.objects()[3]->type(), nullptr); ASSERT_NE(problem.objects()[3]->type(), nullptr);
ASSERT_EQ(problem.objects()[3]->type()->name(), "block"); ASSERT_EQ(problem.objects()[3]->type()->name(), "block");
// TODO: check initial state and goal // Initial State
const auto &facts = problem.initialState().facts();
ASSERT_EQ(facts.size(), 9u);
const auto &fact0 = *dynamic_cast<const expressions::Predicate *>(facts[0].get());
ASSERT_EQ(fact0.name(), "clear");
ASSERT_EQ(fact0.arguments().size(), 1u);
const auto &fact00 = *dynamic_cast<const expressions::Reference<expressions::Constant> *>(fact0.arguments()[0].get())->value();
ASSERT_EQ(fact00.name(), "c");
ASSERT_NE(fact00.type(), nullptr);
ASSERT_EQ(fact00.type()->name(), "block");
const auto &fact8 = *dynamic_cast<const expressions::Predicate *>(facts[8].get());
ASSERT_EQ(fact8.name(), "handempty");
ASSERT_EQ(fact8.arguments().size(), 0u);
// TODO: check goal
} }
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////