Clasp::Test::RuleTest Class Reference

List of all members.

Public Member Functions
void	setUp ()
void	testCardinalityIfAllWeightsEqual ()
void	testContraExtended ()
void	testContraNormal ()
void	testDisjunctive ()
void	testDisjunctiveBLOCK ()
void	testDisjunctiveTAUT ()
void	testEmptyDisjunctive ()
void	testHashIgnoresOrder ()
void	testMergeDuplicateInExtended ()
void	testMultiSimplify ()
void	testNoContraExtended ()
void	testNormalIfMinWeightNeeded ()
void	testRemoveDuplicateInDisjunctive ()
void	testRemoveDuplicateInNormal ()
void	testSelfblockNormal ()
void	testTautNormal ()
void	testTrivialDisjunctive ()
Private Member Functions
	CPPUNIT_TEST (testHashIgnoresOrder)
	CPPUNIT_TEST (testRemoveDuplicateInNormal)
	CPPUNIT_TEST (testMergeDuplicateInExtended)
	CPPUNIT_TEST (testContraNormal)
	CPPUNIT_TEST (testNoContraExtended)
	CPPUNIT_TEST (testContraExtended)
	CPPUNIT_TEST (testMultiSimplify)
	CPPUNIT_TEST (testCardinalityIfAllWeightsEqual)
	CPPUNIT_TEST (testNormalIfMinWeightNeeded)
	CPPUNIT_TEST (testSelfblockNormal)
	CPPUNIT_TEST (testTautNormal)
	CPPUNIT_TEST (testTrivialDisjunctive)
	CPPUNIT_TEST (testEmptyDisjunctive)
	CPPUNIT_TEST (testDisjunctive)
	CPPUNIT_TEST (testRemoveDuplicateInDisjunctive)
	CPPUNIT_TEST (testDisjunctiveTAUT)
	CPPUNIT_TEST (testDisjunctiveBLOCK)
	CPPUNIT_TEST_SUITE (RuleTest)
	CPPUNIT_TEST_SUITE_END ()
Private Attributes
BodyInfo	body
SharedContext	ctx
VarVec	head
LogicProgram	prg
Rule	rule

---

Detailed Description

Definition at line 26 of file rule_test.cpp.

---

Member Function Documentation

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testHashIgnoresOrder

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testRemoveDuplicateInNormal

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testMergeDuplicateInExtended

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testContraNormal

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testNoContraExtended

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testContraExtended

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testMultiSimplify

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testCardinalityIfAllWeightsEqual

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testNormalIfMinWeightNeeded

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testSelfblockNormal

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testTautNormal

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testTrivialDisjunctive

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testEmptyDisjunctive

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testDisjunctive

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testRemoveDuplicateInDisjunctive

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testDisjunctiveTAUT

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST

(

testDisjunctiveBLOCK

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST_SUITE

(

RuleTest

)

[private]

Clasp::Test::RuleTest::CPPUNIT_TEST_SUITE_END

(

)

[private]

void Clasp::Test::RuleTest::setUp

(

)

[inline]

Definition at line 49 of file rule_test.cpp.

void Clasp::Test::RuleTest::testCardinalityIfAllWeightsEqual

(

)

[inline]

Definition at line 158 of file rule_test.cpp.

void Clasp::Test::RuleTest::testContraExtended

(

)

[inline]

Definition at line 131 of file rule_test.cpp.

void Clasp::Test::RuleTest::testContraNormal

(

)

[inline]

Definition at line 97 of file rule_test.cpp.

void Clasp::Test::RuleTest::testDisjunctive

(

)

[inline]

Definition at line 209 of file rule_test.cpp.

void Clasp::Test::RuleTest::testDisjunctiveBLOCK

(

)

[inline]

Definition at line 231 of file rule_test.cpp.

void Clasp::Test::RuleTest::testDisjunctiveTAUT

(

)

[inline]

Definition at line 224 of file rule_test.cpp.

void Clasp::Test::RuleTest::testEmptyDisjunctive

(

)

[inline]

Definition at line 204 of file rule_test.cpp.

void Clasp::Test::RuleTest::testHashIgnoresOrder

(

)

[inline]

Definition at line 55 of file rule_test.cpp.

void Clasp::Test::RuleTest::testMergeDuplicateInExtended

(

)

[inline]

Definition at line 75 of file rule_test.cpp.

void Clasp::Test::RuleTest::testMultiSimplify

(

)

[inline]

Definition at line 144 of file rule_test.cpp.

void Clasp::Test::RuleTest::testNoContraExtended

(

)

[inline]

Definition at line 104 of file rule_test.cpp.

void Clasp::Test::RuleTest::testNormalIfMinWeightNeeded

(

)

[inline]

Definition at line 175 of file rule_test.cpp.

void Clasp::Test::RuleTest::testRemoveDuplicateInDisjunctive

(

)

[inline]

Definition at line 216 of file rule_test.cpp.

void Clasp::Test::RuleTest::testRemoveDuplicateInNormal

(

)

[inline]

Definition at line 67 of file rule_test.cpp.

void Clasp::Test::RuleTest::testSelfblockNormal

(

)

[inline]

Definition at line 183 of file rule_test.cpp.

void Clasp::Test::RuleTest::testTautNormal

(

)

[inline]

Definition at line 191 of file rule_test.cpp.

void Clasp::Test::RuleTest::testTrivialDisjunctive

(

)

[inline]

Definition at line 198 of file rule_test.cpp.

---

Member Data Documentation

BodyInfo Clasp::Test::RuleTest::body [private]

Definition at line 241 of file rule_test.cpp.

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

Definition at line 238 of file rule_test.cpp.

VarVec Clasp::Test::RuleTest::head [private]

Definition at line 240 of file rule_test.cpp.

LogicProgram Clasp::Test::RuleTest::prg [private]

Definition at line 239 of file rule_test.cpp.

Rule Clasp::Test::RuleTest::rule [private]

Definition at line 242 of file rule_test.cpp.

---

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

• rule_test.cpp