testsuite/TestDLVProcess.cpp File Reference

#include "dlvhex2/DLVProcess.h"
#include <boost/test/unit_test.hpp>
#include <boost/thread.hpp>

Include dependency graph for TestDLVProcess.cpp:

Go to the source code of this file.

Data Structures
class	SimpleEvaluator
Defines
#define	BOOST_TEST_DYN_LINK
#define	BOOST_TEST_MODULE   "TestDLVProcess"
Functions
	BOOST_AUTO_TEST_CASE (testDLVProcess)

---

Define Documentation

#define BOOST_TEST_DYN_LINK

Definition at line 7 of file TestDLVProcess.cpp.

#define BOOST_TEST_MODULE   "TestDLVProcess"

Definition at line 8 of file TestDLVProcess.cpp.

---

Function Documentation

BOOST_AUTO_TEST_CASE

(

testDLVProcess

)

Definition at line 70 of file TestDLVProcess.cpp.

References SimpleEvaluator::solve().