Classes | Namespaces | Functions
unfounded_check_test.cpp File Reference
#include "test.h"
#include <clasp/unfounded_check.h>
#include <clasp/program_builder.h>
#include <clasp/clause.h>
#include <memory>
Include dependency graph for unfounded_check_test.cpp:

Go to the source code of this file.

Classes

class  Clasp::Test::UnfoundedCheckTest
class  Clasp::Test::UnfoundedCheckTest::WrapDefaultUnfoundedCheck

Namespaces

namespace  Clasp
namespace  Clasp::Test

Functions

 Clasp::Test::CPPUNIT_TEST_SUITE_REGISTRATION (UnfoundedCheckTest)


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40