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

Added test covering the removal of implications.

This commit is contained in:
Patrick Lühne 2016-09-02 18:45:00 +02:00
parent 4fb2c331f3
commit 9aad139aae
1 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
tests/TestPDDLNormalization.cpp
View File

@ -1,12 +1,41 @@
#include <gtest/gtest.h>
#include <plasp/pddl/expressions/Dummy.h>
#include <plasp/pddl/expressions/Imply.h>
#include <plasp/pddl/expressions/Not.h>
#include <plasp/pddl/expressions/Or.h>
using namespace plasp::pddl;
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST(PDDLNormalizationTests, Implication)
{
auto i = std::make_unique<expressions::Imply>();
auto d1 = std::make_unique<expressions::Dummy>();
const auto d1p = d1.get();
auto d2 = std::make_unique<expressions::Dummy>();
const auto d2p = d2.get();
i->setArgument<0>(std::move(d1));
i->setArgument<1>(std::move(d2));
auto normalized = i->normalize();
ASSERT_EQ(normalized->expressionType(), Expression::Type::Or);
const auto &o = dynamic_cast<expressions::Or &>(*normalized);
ASSERT_EQ(o.arguments()[0]->expressionType(), Expression::Type::Not);
const auto &n = dynamic_cast<const expressions::Not &>(*o.arguments()[0]);
ASSERT_EQ(n.argument(), d1p);
ASSERT_EQ(o.arguments()[1], d2p);
}
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST(PDDLNormalizationTests, DoubleNegation)
{
auto n1 = std::make_unique<expressions::Not>();