Public Member Functions
void	addDomRule (LogicProgram &prg, const char *heu, Literal pre=posLit(0))
void	testAtomLookahead ()
void	testBerkmin ()
void	testBodyLookahead ()
void	testDomDynamic ()
void	testDomInc ()
void	testDomInit ()
void	testDomLevel ()
void	testDomPrio ()
void	testDomPrio2 ()
void	testDomSignNeg ()
void	testDomSignPos ()
void	testLookaheadBugDepsNotCleared ()
void	testLookaheadBugNoDeps ()
void	testLookaheadBugNoNant ()
void	testLookaheadBugNoSimplify ()
void	testLookaheadStopConflict ()
void	testResurrect ()
void	testStrangeLookSeq ()
void	testStrangeLookSeq2 ()
void	testTrivial ()
void	testVmtf ()
void	testVsids ()
void	testVsidsAux ()
Private Member Functions
	CPPUNIT_TEST (testTrivial)
	CPPUNIT_TEST (testBodyLookahead)
	CPPUNIT_TEST (testAtomLookahead)
	CPPUNIT_TEST (testLookaheadBugNoSimplify)
	CPPUNIT_TEST (testLookaheadBugDepsNotCleared)
	CPPUNIT_TEST (testLookaheadBugNoDeps)
	CPPUNIT_TEST (testLookaheadBugNoNant)
	CPPUNIT_TEST (testLookaheadStopConflict)
	CPPUNIT_TEST (testBerkmin)
	CPPUNIT_TEST (testVmtf)
	CPPUNIT_TEST (testVsids)
	CPPUNIT_TEST (testVsidsAux)
	CPPUNIT_TEST (testResurrect)
	CPPUNIT_TEST (testStrangeLookSeq)
	CPPUNIT_TEST (testStrangeLookSeq2)
	CPPUNIT_TEST (testDomSignPos)
	CPPUNIT_TEST (testDomSignNeg)
	CPPUNIT_TEST (testDomLevel)
	CPPUNIT_TEST (testDomDynamic)
	CPPUNIT_TEST (testDomPrio)
	CPPUNIT_TEST (testDomPrio2)
	CPPUNIT_TEST (testDomInit)
	CPPUNIT_TEST (testDomInc)
	CPPUNIT_TEST_SUITE (DecisionHeuristicTest)
	CPPUNIT_TEST_SUITE_END ()

Detailed Description

Definition at line 28 of file decision_heuristic_test.cpp.

Member Function Documentation

void Clasp::Test::DecisionHeuristicTest::addDomRule	(	LogicProgram &	prg,
		const char *	heu,
		Literal	pre = `posLit(0)`
	)		`[inline]`

Definition at line 535 of file decision_heuristic_test.cpp.

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testTrivial ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testBodyLookahead ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testAtomLookahead ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testLookaheadBugNoSimplify ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testLookaheadBugDepsNotCleared ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testLookaheadBugNoDeps ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testLookaheadBugNoNant ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testLookaheadStopConflict ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testBerkmin ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testVmtf ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testVsids ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testVsidsAux ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testResurrect ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testStrangeLookSeq ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testStrangeLookSeq2 ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomSignPos ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomSignNeg ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomLevel ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomDynamic ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomPrio ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomPrio2 ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomInit ) [private]

Clasp::Test::DecisionHeuristicTest::CPPUNIT_TEST ( testDomInc ) [private]

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

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

void Clasp::Test::DecisionHeuristicTest::testAtomLookahead ( ) [inline]

Definition at line 92 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testBerkmin ( ) [inline]

Definition at line 223 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testBodyLookahead ( ) [inline]

Definition at line 63 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomDynamic ( ) [inline]

Definition at line 417 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomInc ( ) [inline]

Definition at line 510 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomInit ( ) [inline]

Definition at line 493 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomLevel ( ) [inline]

Definition at line 401 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomPrio ( ) [inline]

Definition at line 447 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomPrio2 ( ) [inline]

Definition at line 470 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomSignNeg ( ) [inline]

Definition at line 388 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testDomSignPos ( ) [inline]

Definition at line 375 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testLookaheadBugDepsNotCleared ( ) [inline]

Definition at line 144 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testLookaheadBugNoDeps ( ) [inline]

Definition at line 166 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testLookaheadBugNoNant ( ) [inline]

Definition at line 186 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testLookaheadBugNoSimplify ( ) [inline]

Definition at line 127 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testLookaheadStopConflict ( ) [inline]

Definition at line 205 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testResurrect ( ) [inline]

Definition at line 345 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testStrangeLookSeq ( ) [inline]

Definition at line 318 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testStrangeLookSeq2 ( ) [inline]

Definition at line 331 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testTrivial ( ) [inline]

Definition at line 57 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testVmtf ( ) [inline]

Definition at line 268 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testVsids ( ) [inline]

Definition at line 283 of file decision_heuristic_test.cpp.

void Clasp::Test::DecisionHeuristicTest::testVsidsAux ( ) [inline]

Definition at line 300 of file decision_heuristic_test.cpp.

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

decision_heuristic_test.cpp

Public Member Functions

Private Member Functions

Detailed Description

Member Function Documentation