Public Member Functions
void	setUp ()
void	testAddShortIncremental ()
void	testAddVar ()
void	testAddWatch ()
void	testAssertImmediate ()
void	testAssume ()
void	testAttachDeferred ()
void	testAttachToDB ()
void	testAuxAreNotDistributed ()
void	testClearAssumptions ()
void	testCmpScores ()
void	testDefaults ()
void	testEliminateVar ()
void	testEstimateBCP ()
void	testEstimateBCPLoop ()
void	testForce ()
void	testGetDecision ()
void	testIncrementalAux ()
void	testInitSavedValue ()
void	testKeepWatchOnPropagate ()
void	testLearnConditional ()
void	testLearntShort ()
void	testLearntShortAreDistributed ()
void	testLubyAdvance ()
void	testNotifyWatch ()
void	testNoUpdateOnConsistentAssign ()
void	testPopAuxMaintainsQueue ()
void	testPopAuxRemovesConstraints ()
void	testPostpropAddAfterInitBug ()
void	testPostpropBug ()
void	testPostPropInit ()
void	testPostpropPriority ()
void	testPostpropPriorityExt ()
void	testPostpropRemove ()
void	testPostpropRemoveOnProp ()
void	testPreferredLitByType ()
void	testPreferShortBfs ()
void	testPropagateCallsPostProp ()
void	testPropagateCallsResetOnConflict ()
void	testPropBinary ()
void	testPropTernary ()
void	testPushAux ()
void	testPushAuxFact ()
template<class ST >
void	testReasonStore ()
void	testReasonStore ()
void	testRemoveConditional ()
void	testRemoveConstraint ()
void	testRemoveWatch ()
void	testRemoveWatchOnPropagate ()
void	testReset ()
void	testResolveConflict ()
void	testResolveConflictBounded ()
void	testResolveUnary ()
void	testRestartAfterUnitLitResolvedBug ()
void	testResurrectVar ()
void	testScheduleAdvance ()
void	testSearchAddsLearntFacts ()
void	testSearchKeepsAssumptions ()
void	testSearchMaxConflicts ()
void	testSimplifyRemovesSatBinClauses ()
void	testSimplifyRemovesSatConstraints ()
void	testSimplifyRemovesSatTernClauses ()
void	testSingleOwnerPtr ()
void	testSolverAlwaysContainsSentinelVar ()
void	testSolverOwnsConstraints ()
void	testSplitFlipped ()
void	testSplitFlipToNewRoot ()
void	testSplitImplied ()
void	testSplitInc ()
void	testStats ()
void	testStopConflict ()
void	testStrengthenConditional ()
void	testSwitchToMtIncremental ()
void	testUndoUntil ()
void	testUndoWatches ()
void	testUnfortunateSplitSeq ()
void	testUnfreezeStepBug ()
void	testValueSet ()
void	testVarNullIsSentinel ()
void	testWatchOrder ()
Private Member Functions
LitVec	addBinary ()
LitVec	addTernary ()
	CPPUNIT_TEST (testReasonStore)
	CPPUNIT_TEST (testSingleOwnerPtr)
	CPPUNIT_TEST (testDefaults)
	CPPUNIT_TEST (testVarNullIsSentinel)
	CPPUNIT_TEST (testSolverAlwaysContainsSentinelVar)
	CPPUNIT_TEST (testSolverOwnsConstraints)
	CPPUNIT_TEST (testAddVar)
	CPPUNIT_TEST (testEliminateVar)
	CPPUNIT_TEST (testResurrectVar)
	CPPUNIT_TEST (testCmpScores)
	CPPUNIT_TEST (testValueSet)
	CPPUNIT_TEST (testPreferredLitByType)
	CPPUNIT_TEST (testInitSavedValue)
	CPPUNIT_TEST (testReset)
	CPPUNIT_TEST (testForce)
	CPPUNIT_TEST (testNoUpdateOnConsistentAssign)
	CPPUNIT_TEST (testAssume)
	CPPUNIT_TEST (testGetDecision)
	CPPUNIT_TEST (testAddWatch)
	CPPUNIT_TEST (testRemoveWatch)
	CPPUNIT_TEST (testNotifyWatch)
	CPPUNIT_TEST (testKeepWatchOnPropagate)
	CPPUNIT_TEST (testRemoveWatchOnPropagate)
	CPPUNIT_TEST (testWatchOrder)
	CPPUNIT_TEST (testUndoUntil)
	CPPUNIT_TEST (testUndoWatches)
	CPPUNIT_TEST (testPropBinary)
	CPPUNIT_TEST (testPropTernary)
	CPPUNIT_TEST (testRestartAfterUnitLitResolvedBug)
	CPPUNIT_TEST (testEstimateBCP)
	CPPUNIT_TEST (testEstimateBCPLoop)
	CPPUNIT_TEST (testAssertImmediate)
	CPPUNIT_TEST (testPreferShortBfs)
	CPPUNIT_TEST (testPostPropInit)
	CPPUNIT_TEST (testPropagateCallsPostProp)
	CPPUNIT_TEST (testPropagateCallsResetOnConflict)
	CPPUNIT_TEST (testPostpropPriority)
	CPPUNIT_TEST (testPostpropPriorityExt)
	CPPUNIT_TEST (testPostpropRemove)
	CPPUNIT_TEST (testPostpropRemoveOnProp)
	CPPUNIT_TEST (testPostpropBug)
	CPPUNIT_TEST (testPostpropAddAfterInitBug)
	CPPUNIT_TEST (testSimplifyRemovesSatBinClauses)
	CPPUNIT_TEST (testSimplifyRemovesSatTernClauses)
	CPPUNIT_TEST (testSimplifyRemovesSatConstraints)
	CPPUNIT_TEST (testRemoveConditional)
	CPPUNIT_TEST (testStrengthenConditional)
	CPPUNIT_TEST (testLearnConditional)
	CPPUNIT_TEST (testResolveUnary)
	CPPUNIT_TEST (testResolveConflict)
	CPPUNIT_TEST (testResolveConflictBounded)
	CPPUNIT_TEST (testClearAssumptions)
	CPPUNIT_TEST (testStopConflict)
	CPPUNIT_TEST (testSearchKeepsAssumptions)
	CPPUNIT_TEST (testSearchAddsLearntFacts)
	CPPUNIT_TEST (testSearchMaxConflicts)
	CPPUNIT_TEST (testStats)
	CPPUNIT_TEST (testUnfortunateSplitSeq)
	CPPUNIT_TEST (testSplitInc)
	CPPUNIT_TEST (testSplitFlipped)
	CPPUNIT_TEST (testSplitFlipToNewRoot)
	CPPUNIT_TEST (testSplitImplied)
	CPPUNIT_TEST (testAddShortIncremental)
	CPPUNIT_TEST (testSwitchToMtIncremental)
	CPPUNIT_TEST (testPushAux)
	CPPUNIT_TEST (testPushAuxFact)
	CPPUNIT_TEST (testPopAuxRemovesConstraints)
	CPPUNIT_TEST (testPopAuxMaintainsQueue)
	CPPUNIT_TEST (testIncrementalAux)
	CPPUNIT_TEST (testUnfreezeStepBug)
	CPPUNIT_TEST (testRemoveConstraint)
	CPPUNIT_TEST_SUITE (SolverTest)
	CPPUNIT_TEST_SUITE_END ()
void	integrateGp (Solver &s, LitVec &gp)
Private Attributes
SharedContext	ctx

Detailed Description

Definition at line 82 of file solver_test.cpp.

Member Function Documentation

LitVec Clasp::Test::SolverTest::addBinary ( ) [inline, private]

Definition at line 1841 of file solver_test.cpp.

LitVec Clasp::Test::SolverTest::addTernary ( ) [inline, private]

Definition at line 1850 of file solver_test.cpp.

Clasp::Test::SolverTest::CPPUNIT_TEST ( testReasonStore ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSingleOwnerPtr ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testDefaults ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testVarNullIsSentinel ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSolverAlwaysContainsSentinelVar ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSolverOwnsConstraints ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testAddVar ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testEliminateVar ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testResurrectVar ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testCmpScores ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testValueSet ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPreferredLitByType ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testInitSavedValue ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testReset ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testForce ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testNoUpdateOnConsistentAssign ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testAssume ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testGetDecision ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testAddWatch ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testRemoveWatch ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testNotifyWatch ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testKeepWatchOnPropagate ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testRemoveWatchOnPropagate ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testWatchOrder ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testUndoUntil ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testUndoWatches ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPropBinary ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPropTernary ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testRestartAfterUnitLitResolvedBug ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testEstimateBCP ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testEstimateBCPLoop ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testAssertImmediate ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPreferShortBfs ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPostPropInit ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPropagateCallsPostProp ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPropagateCallsResetOnConflict ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPostpropPriority ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPostpropPriorityExt ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPostpropRemove ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPostpropRemoveOnProp ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPostpropBug ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPostpropAddAfterInitBug ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSimplifyRemovesSatBinClauses ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSimplifyRemovesSatTernClauses ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSimplifyRemovesSatConstraints ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testRemoveConditional ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testStrengthenConditional ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testLearnConditional ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testResolveUnary ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testResolveConflict ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testResolveConflictBounded ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testClearAssumptions ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testStopConflict ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSearchKeepsAssumptions ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSearchAddsLearntFacts ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSearchMaxConflicts ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testStats ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testUnfortunateSplitSeq ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSplitInc ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSplitFlipped ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSplitFlipToNewRoot ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSplitImplied ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testAddShortIncremental ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testSwitchToMtIncremental ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPushAux ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPushAuxFact ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPopAuxRemovesConstraints ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testPopAuxMaintainsQueue ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testIncrementalAux ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testUnfreezeStepBug ) [private]

Clasp::Test::SolverTest::CPPUNIT_TEST ( testRemoveConstraint ) [private]

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

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

void Clasp::Test::SolverTest::integrateGp	(	Solver &	s,
		LitVec &	gp
	)		`[inline, private]`

Definition at line 1832 of file solver_test.cpp.

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

Definition at line 180 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAddShortIncremental ( ) [inline]

Definition at line 1648 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAddVar ( ) [inline]

Definition at line 292 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAddWatch ( ) [inline]

Definition at line 476 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAssertImmediate ( ) [inline]

Definition at line 676 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAssume ( ) [inline]

Definition at line 454 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAttachDeferred ( ) [inline]

Definition at line 1465 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAttachToDB ( ) [inline]

Definition at line 1434 of file solver_test.cpp.

void Clasp::Test::SolverTest::testAuxAreNotDistributed ( ) [inline]

Definition at line 1387 of file solver_test.cpp.

void Clasp::Test::SolverTest::testClearAssumptions ( ) [inline]

Definition at line 1203 of file solver_test.cpp.

void Clasp::Test::SolverTest::testCmpScores ( ) [inline]

Definition at line 352 of file solver_test.cpp.

void Clasp::Test::SolverTest::testDefaults ( ) [inline]

Definition at line 245 of file solver_test.cpp.

void Clasp::Test::SolverTest::testEliminateVar ( ) [inline]

Definition at line 307 of file solver_test.cpp.

void Clasp::Test::SolverTest::testEstimateBCP ( ) [inline]

Definition at line 646 of file solver_test.cpp.

void Clasp::Test::SolverTest::testEstimateBCPLoop ( ) [inline]

Definition at line 664 of file solver_test.cpp.

void Clasp::Test::SolverTest::testForce ( ) [inline]

Definition at line 428 of file solver_test.cpp.

void Clasp::Test::SolverTest::testGetDecision ( ) [inline]

Definition at line 463 of file solver_test.cpp.

void Clasp::Test::SolverTest::testIncrementalAux ( ) [inline]

Definition at line 1775 of file solver_test.cpp.

void Clasp::Test::SolverTest::testInitSavedValue ( ) [inline]

Definition at line 397 of file solver_test.cpp.

void Clasp::Test::SolverTest::testKeepWatchOnPropagate ( ) [inline]

Definition at line 510 of file solver_test.cpp.

void Clasp::Test::SolverTest::testLearnConditional ( ) [inline]

Definition at line 987 of file solver_test.cpp.

void Clasp::Test::SolverTest::testLearntShort ( ) [inline]

Definition at line 1301 of file solver_test.cpp.

void Clasp::Test::SolverTest::testLearntShortAreDistributed ( ) [inline]

Definition at line 1337 of file solver_test.cpp.

void Clasp::Test::SolverTest::testLubyAdvance ( ) [inline]

Definition at line 1690 of file solver_test.cpp.

void Clasp::Test::SolverTest::testNotifyWatch ( ) [inline]

Definition at line 495 of file solver_test.cpp.

void Clasp::Test::SolverTest::testNoUpdateOnConsistentAssign ( ) [inline]

Definition at line 442 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPopAuxMaintainsQueue ( ) [inline]

Definition at line 1761 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPopAuxRemovesConstraints ( ) [inline]

Definition at line 1738 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPostpropAddAfterInitBug ( ) [inline]

Definition at line 888 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPostpropBug ( ) [inline]

Definition at line 874 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPostPropInit ( ) [inline]

Definition at line 755 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPostpropPriority ( ) [inline]

Definition at line 785 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPostpropPriorityExt ( ) [inline]

Definition at line 799 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPostpropRemove ( ) [inline]

Definition at line 842 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPostpropRemoveOnProp ( ) [inline]

Definition at line 860 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPreferredLitByType ( ) [inline]

Definition at line 380 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPreferShortBfs ( ) [inline]

Definition at line 716 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPropagateCallsPostProp ( ) [inline]

Definition at line 766 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPropagateCallsResetOnConflict ( ) [inline]

Definition at line 776 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPropBinary ( ) [inline]

Definition at line 584 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPropTernary ( ) [inline]

Definition at line 608 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPushAux ( ) [inline]

Definition at line 1698 of file solver_test.cpp.

void Clasp::Test::SolverTest::testPushAuxFact ( ) [inline]

Definition at line 1722 of file solver_test.cpp.

template<class ST >

void Clasp::Test::SolverTest::testReasonStore ( ) [inline]

Definition at line 183 of file solver_test.cpp.

void Clasp::Test::SolverTest::testReasonStore ( ) [inline]

Definition at line 217 of file solver_test.cpp.

void Clasp::Test::SolverTest::testRemoveConditional ( ) [inline]

Definition at line 959 of file solver_test.cpp.

void Clasp::Test::SolverTest::testRemoveConstraint ( ) [inline]

Definition at line 1810 of file solver_test.cpp.

void Clasp::Test::SolverTest::testRemoveWatch ( ) [inline]

Definition at line 486 of file solver_test.cpp.

void Clasp::Test::SolverTest::testRemoveWatchOnPropagate ( ) [inline]

Definition at line 521 of file solver_test.cpp.

void Clasp::Test::SolverTest::testReset ( ) [inline]

Definition at line 412 of file solver_test.cpp.

void Clasp::Test::SolverTest::testResolveConflict ( ) [inline]

Definition at line 1025 of file solver_test.cpp.

void Clasp::Test::SolverTest::testResolveConflictBounded ( ) [inline]

Definition at line 1075 of file solver_test.cpp.

void Clasp::Test::SolverTest::testResolveUnary ( ) [inline]

Definition at line 1007 of file solver_test.cpp.

void Clasp::Test::SolverTest::testRestartAfterUnitLitResolvedBug ( ) [inline]

Definition at line 636 of file solver_test.cpp.

void Clasp::Test::SolverTest::testResurrectVar ( ) [inline]

Definition at line 325 of file solver_test.cpp.

void Clasp::Test::SolverTest::testScheduleAdvance ( ) [inline]

Definition at line 1682 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSearchAddsLearntFacts ( ) [inline]

Definition at line 1152 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSearchKeepsAssumptions ( ) [inline]

Definition at line 1134 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSearchMaxConflicts ( ) [inline]

Definition at line 1185 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSimplifyRemovesSatBinClauses ( ) [inline]

Definition at line 898 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSimplifyRemovesSatConstraints ( ) [inline]

Definition at line 932 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSimplifyRemovesSatTernClauses ( ) [inline]

Definition at line 912 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSingleOwnerPtr ( ) [inline]

Definition at line 224 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSolverAlwaysContainsSentinelVar ( ) [inline]

Definition at line 269 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSolverOwnsConstraints ( ) [inline]

Definition at line 276 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSplitFlipped ( ) [inline]

Definition at line 1565 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSplitFlipToNewRoot ( ) [inline]

Definition at line 1589 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSplitImplied ( ) [inline]

Definition at line 1616 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSplitInc ( ) [inline]

Definition at line 1534 of file solver_test.cpp.

void Clasp::Test::SolverTest::testStats ( ) [inline]

Definition at line 1248 of file solver_test.cpp.

void Clasp::Test::SolverTest::testStopConflict ( ) [inline]

Definition at line 1222 of file solver_test.cpp.

void Clasp::Test::SolverTest::testStrengthenConditional ( ) [inline]

Definition at line 973 of file solver_test.cpp.

void Clasp::Test::SolverTest::testSwitchToMtIncremental ( ) [inline]

Definition at line 1662 of file solver_test.cpp.

void Clasp::Test::SolverTest::testUndoUntil ( ) [inline]

Definition at line 553 of file solver_test.cpp.

void Clasp::Test::SolverTest::testUndoWatches ( ) [inline]

Definition at line 570 of file solver_test.cpp.

void Clasp::Test::SolverTest::testUnfortunateSplitSeq ( ) [inline]

Definition at line 1491 of file solver_test.cpp.

void Clasp::Test::SolverTest::testUnfreezeStepBug ( ) [inline]

Definition at line 1796 of file solver_test.cpp.

void Clasp::Test::SolverTest::testValueSet ( ) [inline]

Definition at line 361 of file solver_test.cpp.

void Clasp::Test::SolverTest::testVarNullIsSentinel ( ) [inline]

Definition at line 264 of file solver_test.cpp.

void Clasp::Test::SolverTest::testWatchOrder ( ) [inline]

Definition at line 533 of file solver_test.cpp.

Member Data Documentation

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

Definition at line 1831 of file solver_test.cpp.

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

solver_test.cpp

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Member Function Documentation

Member Data Documentation