triple_to_fact_02_run.cpp File Reference

#include "boost/test/unit_test.hpp"
#include "test/exception_fixture.hpp"
#include "test/sample_data.hpp"
#include "owlcpp/rdf/triple_store.hpp"
#include "owlcpp/rdf/print_triple.hpp"
#include "owlcpp/io/input.hpp"
#include "owlcpp/logic/triple_to_fact.hpp"
#include "factpp/Kernel.hpp"

Namespaces
namespace	owlcpp
	Main namespace of owlcpp library.
namespace	owlcpp::test
	Namespace for unit-tests.

Macros
#define	BOOST_TEST_MODULE   triple_to_fact_02_run

Functions
	owlcpp::test::BOOST_GLOBAL_FIXTURE (Exception_fixture)
	owlcpp::test::BOOST_AUTO_TEST_CASE (test_data_property_assertion)
	owlcpp::test::BOOST_AUTO_TEST_CASE (test_datatype_restriction)
	owlcpp::test::BOOST_AUTO_TEST_CASE (test_dp_restriction)

Detailed Description

part of owlcpp project.

Distributed under the Boost Software License, Version 1.0; see doc/license.txt.
Copyright Mikhail K Levin 2012