Public Member Functions
void	testIgnoreTagLiteralInPath ()
void	testLearnStepLiteral ()
void	testMiniProject ()
void	testParallelRecord ()
void	testParallelUpdate ()
void	testProjectBug ()
void	testProjectRestart ()
void	testSplittable ()
void	testTagLiteral ()
void	testTerminateRemovesWatches ()
Private Member Functions
	CPPUNIT_TEST (testMiniProject)
	CPPUNIT_TEST (testProjectBug)
	CPPUNIT_TEST (testProjectRestart)
	CPPUNIT_TEST (testTerminateRemovesWatches)
	CPPUNIT_TEST (testParallelRecord)
	CPPUNIT_TEST (testParallelUpdate)
	CPPUNIT_TEST (testTagLiteral)
	CPPUNIT_TEST (testIgnoreTagLiteralInPath)
	CPPUNIT_TEST (testSplittable)
	CPPUNIT_TEST (testLearnStepLiteral)
	CPPUNIT_TEST_SUITE (EnumeratorTest)
	CPPUNIT_TEST_SUITE_END ()
Private Attributes
LogicProgram	builder
Model	model
stringstream	str

Detailed Description

Definition at line 30 of file enumerator_test.cpp.

Member Function Documentation

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testMiniProject ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testProjectBug ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testProjectRestart ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testTerminateRemovesWatches ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testParallelRecord ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testParallelUpdate ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testTagLiteral ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testIgnoreTagLiteralInPath ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testSplittable ) [private]

Clasp::Test::EnumeratorTest::CPPUNIT_TEST ( testLearnStepLiteral ) [private]

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

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

void Clasp::Test::EnumeratorTest::testIgnoreTagLiteralInPath ( ) [inline]

Definition at line 282 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testLearnStepLiteral ( ) [inline]

Definition at line 317 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testMiniProject ( ) [inline]

Definition at line 44 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testParallelRecord ( ) [inline]

Definition at line 176 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testParallelUpdate ( ) [inline]

Definition at line 223 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testProjectBug ( ) [inline]

Definition at line 74 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testProjectRestart ( ) [inline]

Definition at line 124 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testSplittable ( ) [inline]

Definition at line 297 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testTagLiteral ( ) [inline]

Definition at line 267 of file enumerator_test.cpp.

void Clasp::Test::EnumeratorTest::testTerminateRemovesWatches ( ) [inline]

Definition at line 151 of file enumerator_test.cpp.

Member Data Documentation

LogicProgram Clasp::Test::EnumeratorTest::builder [private]

Definition at line 333 of file enumerator_test.cpp.

Model Clasp::Test::EnumeratorTest::model [private]

Definition at line 335 of file enumerator_test.cpp.

stringstream Clasp::Test::EnumeratorTest::str [private]

Definition at line 334 of file enumerator_test.cpp.

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

enumerator_test.cpp

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Member Function Documentation

Member Data Documentation