Public Types
typedef ClaspFacade::Result	Result
Public Member Functions
void	getKeys (const ClaspFacade &f, std::vector< std::string > &out, const std::string &p)
void	testIncrementalCons ()
void	testIncrementalEnum ()
void	testIncrementalMin ()
void	testIncrementalProjectUpdate ()
void	testIncrementalSolve ()
void	testRunIncremental (Result::Base stop, int maxStep, int minStep, Result::Base expectedRes, int expectedSteps)
void	testStats ()
void	testUpdateConfig ()
Private Member Functions
	CPPUNIT_TEST (testIncrementalSolve)
	CPPUNIT_TEST (testIncrementalEnum)
	CPPUNIT_TEST (testIncrementalCons)
	CPPUNIT_TEST (testIncrementalMin)
	CPPUNIT_TEST (testUpdateConfig)
	CPPUNIT_TEST (testIncrementalProjectUpdate)
	CPPUNIT_TEST (testStats)
	CPPUNIT_TEST_SUITE (FacadeTest)
	CPPUNIT_TEST_SUITE_END ()

Detailed Description

Definition at line 30 of file facade_test.cpp.

Member Typedef Documentation

Definition at line 50 of file facade_test.cpp.

Clasp::Test::FacadeTest::CPPUNIT_TEST ( testIncrementalSolve ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST ( testIncrementalEnum ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST ( testIncrementalCons ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST ( testIncrementalMin ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST ( testUpdateConfig ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST ( testIncrementalProjectUpdate ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST ( testStats ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST_SUITE ( FacadeTest ) [private]

Clasp::Test::FacadeTest::CPPUNIT_TEST_SUITE_END ( ) [private]

void Clasp::Test::FacadeTest::getKeys	(	const ClaspFacade &	f,
		std::vector< std::string > &	out,
		const std::string &	p
	)		`[inline]`

Definition at line 217 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testIncrementalCons ( ) [inline]

Definition at line 118 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testIncrementalEnum ( ) [inline]

Definition at line 100 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testIncrementalMin ( ) [inline]

Definition at line 134 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testIncrementalProjectUpdate ( ) [inline]

Definition at line 168 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testIncrementalSolve ( ) [inline]

Definition at line 94 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testRunIncremental	(	Result::Base	stop,
		int	maxStep,
		int	minStep,
		Result::Base	expectedRes,
		int	expectedSteps
	)		`[inline]`

Definition at line 51 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testStats ( ) [inline]

Definition at line 196 of file facade_test.cpp.

void Clasp::Test::FacadeTest::testUpdateConfig ( ) [inline]

Definition at line 151 of file facade_test.cpp.

The documentation for this class was generated from the following file: