Bottom.cpp File Reference

#include <gtest/gtest.h>
#include "knowrob/formulas/Bottom.h"
#include "knowrob/integration/python/utils.h"

Include dependency graph for Bottom.cpp:

Go to the source code of this file.

Namespaces
	knowrob
	knowrob::py

Functions
template<>
void	knowrob::py::createType< Bottom > ()
	TEST (bottom_term, isGround)

Function Documentation

TEST()

TEST	(	bottom_term	,
		isGround
	)

Definition at line 39 of file Bottom.cpp.

                            {
    EXPECT_TRUE(Bottom::get()->isGround());
}