Clasp::Test::RuleTransformTest Class Reference

List of all members.

Public Member Functions
void	setUp ()
void	testBoundEqOneExp ()
void	testBoundEqOneQuad ()
void	testChoiceRuleEmpty ()
void	testChoiceRuleOneHead ()
void	testChoiceRuleUseExtraHead ()
void	testDegeneratedConstraintRule ()
void	testDegeneratedWeightRule ()
void	testShiftDisjunction ()
void	testSixThreeExp ()
void	testSixThreeQuad ()
void	testStupidWeightBug ()
void	testTrivialConstraintRule ()
void	testUnsatConstraintRule ()
void	testWeightBogusNormal ()
void	testWeightBug ()
void	testWeightSixFourExp ()
void	testWeightSixFourQuad ()
Private Member Functions
	CPPUNIT_TEST (testChoiceRuleEmpty)
	CPPUNIT_TEST (testChoiceRuleOneHead)
	CPPUNIT_TEST (testChoiceRuleUseExtraHead)
	CPPUNIT_TEST (testTrivialConstraintRule)
	CPPUNIT_TEST (testUnsatConstraintRule)
	CPPUNIT_TEST (testDegeneratedConstraintRule)
	CPPUNIT_TEST (testBoundEqOneExp)
	CPPUNIT_TEST (testBoundEqOneQuad)
	CPPUNIT_TEST (testSixThreeExp)
	CPPUNIT_TEST (testSixThreeQuad)
	CPPUNIT_TEST (testWeightSixFourExp)
	CPPUNIT_TEST (testWeightSixFourQuad)
	CPPUNIT_TEST (testWeightBug)
	CPPUNIT_TEST (testDegeneratedWeightRule)
	CPPUNIT_TEST (testStupidWeightBug)
	CPPUNIT_TEST (testWeightBogusNormal)
	CPPUNIT_TEST (testShiftDisjunction)
	CPPUNIT_TEST_SUITE (RuleTransformTest)
	CPPUNIT_TEST_SUITE_END ()
Private Attributes
SharedContext	ctx
LogicProgram	prg
Rule	rule

---

Detailed Description

Definition at line 245 of file rule_test.cpp.

---

Member Function Documentation

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testChoiceRuleEmpty

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testChoiceRuleOneHead

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testChoiceRuleUseExtraHead

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testTrivialConstraintRule

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testUnsatConstraintRule

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testDegeneratedConstraintRule

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testBoundEqOneExp

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testBoundEqOneQuad

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testSixThreeExp

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testSixThreeQuad

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testWeightSixFourExp

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testWeightSixFourQuad

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testWeightBug

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testDegeneratedWeightRule

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testStupidWeightBug

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testWeightBogusNormal

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST

(

testShiftDisjunction

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST_SUITE

(

RuleTransformTest

)

[private]

Clasp::Test::RuleTransformTest::CPPUNIT_TEST_SUITE_END

(

)

[private]

void Clasp::Test::RuleTransformTest::setUp

(

)

[inline]

Definition at line 271 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testBoundEqOneExp

(

)

[inline]

Definition at line 358 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testBoundEqOneQuad

(

)

[inline]

Definition at line 375 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testChoiceRuleEmpty

(

)

[inline]

Definition at line 276 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testChoiceRuleOneHead

(

)

[inline]

Definition at line 282 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testChoiceRuleUseExtraHead

(

)

[inline]

Definition at line 298 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testDegeneratedConstraintRule

(

)

[inline]

Definition at line 348 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testDegeneratedWeightRule

(

)

[inline]

Definition at line 557 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testShiftDisjunction

(

)

[inline]

Definition at line 622 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testSixThreeExp

(

)

[inline]

Definition at line 393 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testSixThreeQuad

(

)

[inline]

Definition at line 433 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testStupidWeightBug

(

)

[inline]

Definition at line 586 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testTrivialConstraintRule

(

)

[inline]

Definition at line 321 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testUnsatConstraintRule

(

)

[inline]

Definition at line 330 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testWeightBogusNormal

(

)

[inline]

Definition at line 608 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testWeightBug

(

)

[inline]

Definition at line 537 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testWeightSixFourExp

(

)

[inline]

Definition at line 474 of file rule_test.cpp.

void Clasp::Test::RuleTransformTest::testWeightSixFourQuad

(

)

[inline]

Definition at line 499 of file rule_test.cpp.

---

Member Data Documentation

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

Definition at line 630 of file rule_test.cpp.

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

Definition at line 631 of file rule_test.cpp.

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

Definition at line 632 of file rule_test.cpp.

---

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

• rule_test.cpp