Classes
class	WrapDefaultUnfoundedCheck
Public Member Functions
void	setUp ()
Solver &	solver ()
void	tearDown ()
void	testAllUncoloredNoUnfounded ()
void	testAlternativeSourceNotUnfounded ()
void	testApproxUfs ()
void	testCardInterplayOnBT ()
void	testChoiceCardInterplay ()
void	testDependentExtReason ()
void	testEqBodyDiffType ()
void	testIncrementalLearnFact ()
void	testIncrementalUfs ()
void	testInitialStopConflict ()
void	testInitNoSource ()
void	testNtExtendedBug ()
void	testNtExtendedFalse ()
void	testOnlyOneSourceUnfoundedIfMinus ()
void	testWithSimpleCardinalityConstraint ()
void	testWithSimpleWeightConstraint ()
	UnfoundedCheckTest ()
Private Member Functions
void	attachUfs ()
	CPPUNIT_TEST (testAllUncoloredNoUnfounded)
	CPPUNIT_TEST (testAlternativeSourceNotUnfounded)
	CPPUNIT_TEST (testOnlyOneSourceUnfoundedIfMinus)
	CPPUNIT_TEST (testWithSimpleCardinalityConstraint)
	CPPUNIT_TEST (testWithSimpleWeightConstraint)
	CPPUNIT_TEST (testNtExtendedBug)
	CPPUNIT_TEST (testNtExtendedFalse)
	CPPUNIT_TEST (testDependentExtReason)
	CPPUNIT_TEST (testEqBodyDiffType)
	CPPUNIT_TEST (testChoiceCardInterplay)
	CPPUNIT_TEST (testCardInterplayOnBT)
	CPPUNIT_TEST (testInitNoSource)
	CPPUNIT_TEST (testIncrementalUfs)
	CPPUNIT_TEST (testInitialStopConflict)
	CPPUNIT_TEST (testIncrementalLearnFact)
	CPPUNIT_TEST (testApproxUfs)
	CPPUNIT_TEST_SUITE (UnfoundedCheckTest)
	CPPUNIT_TEST_SUITE_END ()
void	setupSimpleProgram ()
Private Attributes
LogicProgram	builder
SharedContext	ctx
SingleOwnerPtr < WrapDefaultUnfoundedCheck >	ufs

Detailed Description

Definition at line 28 of file unfounded_check_test.cpp.

Constructor & Destructor Documentation

Clasp::Test::UnfoundedCheckTest::UnfoundedCheckTest ( ) [inline]

Definition at line 58 of file unfounded_check_test.cpp.

Member Function Documentation

void Clasp::Test::UnfoundedCheckTest::attachUfs ( ) [inline, private]

Definition at line 503 of file unfounded_check_test.cpp.

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testAllUncoloredNoUnfounded ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testAlternativeSourceNotUnfounded ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testOnlyOneSourceUnfoundedIfMinus ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testWithSimpleCardinalityConstraint ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testWithSimpleWeightConstraint ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testNtExtendedBug ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testNtExtendedFalse ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testDependentExtReason ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testEqBodyDiffType ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testChoiceCardInterplay ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testCardInterplayOnBT ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testInitNoSource ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testIncrementalUfs ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testInitialStopConflict ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testIncrementalLearnFact ) [private]

Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST ( testApproxUfs ) [private]

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

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

void Clasp::Test::UnfoundedCheckTest::setUp ( ) [inline]

Definition at line 59 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::setupSimpleProgram ( ) [inline, private]

Definition at line 507 of file unfounded_check_test.cpp.

Solver& Clasp::Test::UnfoundedCheckTest::solver ( ) [inline]

Definition at line 65 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::tearDown ( ) [inline]

Definition at line 62 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testAllUncoloredNoUnfounded ( ) [inline]

Definition at line 66 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testAlternativeSourceNotUnfounded ( ) [inline]

Definition at line 73 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testApproxUfs ( ) [inline]

Definition at line 473 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testCardInterplayOnBT ( ) [inline]

Definition at line 321 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testChoiceCardInterplay ( ) [inline]

Definition at line 302 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testDependentExtReason ( ) [inline]

Definition at line 239 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testEqBodyDiffType ( ) [inline]

Definition at line 283 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testIncrementalLearnFact ( ) [inline]

Definition at line 448 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testIncrementalUfs ( ) [inline]

Definition at line 361 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testInitialStopConflict ( ) [inline]

Definition at line 415 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testInitNoSource ( ) [inline]

Definition at line 346 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testNtExtendedBug ( ) [inline]

Definition at line 166 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testNtExtendedFalse ( ) [inline]

Definition at line 205 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testOnlyOneSourceUnfoundedIfMinus ( ) [inline]

Definition at line 82 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testWithSimpleCardinalityConstraint ( ) [inline]

Definition at line 97 of file unfounded_check_test.cpp.

void Clasp::Test::UnfoundedCheckTest::testWithSimpleWeightConstraint ( ) [inline]

Definition at line 121 of file unfounded_check_test.cpp.

Member Data Documentation

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

Definition at line 502 of file unfounded_check_test.cpp.

SharedContext Clasp::Test::UnfoundedCheckTest::ctx [private]

Definition at line 500 of file unfounded_check_test.cpp.

SingleOwnerPtr<WrapDefaultUnfoundedCheck> Clasp::Test::UnfoundedCheckTest::ufs [private]

Definition at line 501 of file unfounded_check_test.cpp.

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

unfounded_check_test.cpp

Classes

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation