Clasp::Test::SolverTest Member List

This is the complete list of members for Clasp::Test::SolverTest, including all inherited members.

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