Clasp::Test::LogicProgramTest Member List

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

builder	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testMergeValue)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIgnoreRules)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDuplicateRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testNotAChoice)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testNotAChoiceMerge)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testMergeToSelfblocker)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testMergeToSelfblocker2)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDerivedTAUT)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testOneLoop)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testZeroLoop)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testEqSuccs)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testEqCompute)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testFactsAreAsserted)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testSelfblockersAreAsserted)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testConstraintsAreAsserted)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testConflictingCompute)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testForceUnsuppAtomFails)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testTrivialConflictsAreDeteced)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testBuildEmpty)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAddOneFact)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testTwoFactsOnlyOneVar)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDontAddOnePredsThatAreNotHeads)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDontAddDuplicateBodies)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDontAddDuplicateSumBodies)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDontAddUnsupported)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDontAddUnsupportedNoEq)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDontAddUnsupportedExtNoEq)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAssertSelfblockers)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testCloneShare)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testCloneShareSymbols)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testCloneFull)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testSatBodyBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testDepBodyBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAddUnknownAtomToMinimize)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testWriteWeakTrue)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testSimplifyBodyEqBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testNoEqSameLitBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAssertEqSelfblocker)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAddClauses)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAddCardConstraint)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAddWeightConstraint)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAddMinimizeConstraint)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAddEmptyMinimizeConstraint)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testNonTight)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIgnoreCondFactsInLoops)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testCrEqBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testEqOverChoiceRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testEqOverBodiesOfDiffType)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testEqOverComp)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testNoBodyUnification)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testNoEqAtomReplacement)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAllBodiesSameLit)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testAllBodiesSameLit2)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testCompLit)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testFunnySelfblockerOverEqByTwo)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testRemoveKnownAtomFromWeightRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testMergeEquivalentAtomsInConstraintRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testMergeEquivalentAtomsInWeightRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testBothLitsInConstraintRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testBothLitsInWeightRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testWeightlessAtomsInWeightRule)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testSimplifyToNormal)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testSimplifyToCardBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testSimplifyCompBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testBPWeight)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testExtLitsAreFrozen)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(writeIntegrityConstraint)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testComputeTrueBug)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testBackprop)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testSimpleIncremental)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalFreeze)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalFreezeValue)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalKeepFrozen)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalUnfreezeUnsupp)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalUnfreezeCompute)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalCompute)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalComputeBackprop)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalBackpropStep)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalEq)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalEqUnfreeze)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalEqComplement)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalEqUpdateAssigned)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalEqResetState)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalUnfreezeUnsuppEq)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalUnfreezeEq)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalStats)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalTransform)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalBackpropCompute)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalFreezeUnfreeze)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalSymbolUpdate)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalBackpropSolver)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalFreezeDefined)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalUnfreezeDefined)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalImplicitUnfreeze)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalRedefine)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalGetAssumptions)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalSimplifyCard)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST(testIncrementalSimplifyMinimize)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST_SUITE(LogicProgramTest)	Clasp::Test::LogicProgramTest	[private]
CPPUNIT_TEST_SUITE_END()	Clasp::Test::LogicProgramTest	[private]
ctx	Clasp::Test::LogicProgramTest	[private]
DG typedef	Clasp::Test::LogicProgramTest	[private]
str	Clasp::Test::LogicProgramTest	[private]
tearDown()	Clasp::Test::LogicProgramTest	[inline]
testAddCardConstraint()	Clasp::Test::LogicProgramTest	[inline]
testAddClauses()	Clasp::Test::LogicProgramTest	[inline]
testAddEmptyMinimizeConstraint()	Clasp::Test::LogicProgramTest	[inline]
testAddMinimizeConstraint()	Clasp::Test::LogicProgramTest	[inline]
testAddOneFact()	Clasp::Test::LogicProgramTest	[inline]
testAddUnknownAtomToMinimize()	Clasp::Test::LogicProgramTest	[inline]
testAddWeightConstraint()	Clasp::Test::LogicProgramTest	[inline]
testAllBodiesSameLit()	Clasp::Test::LogicProgramTest	[inline]
testAllBodiesSameLit2()	Clasp::Test::LogicProgramTest	[inline]
testAssertEqSelfblocker()	Clasp::Test::LogicProgramTest	[inline]
testAssertSelfblockers()	Clasp::Test::LogicProgramTest	[inline]
testBackprop()	Clasp::Test::LogicProgramTest	[inline]
testBothLitsInConstraintRule()	Clasp::Test::LogicProgramTest	[inline]
testBothLitsInWeightRule()	Clasp::Test::LogicProgramTest	[inline]
testBPWeight()	Clasp::Test::LogicProgramTest	[inline]
testBug()	Clasp::Test::LogicProgramTest	[inline]
testBuildEmpty()	Clasp::Test::LogicProgramTest	[inline]
testCloneFull()	Clasp::Test::LogicProgramTest	[inline]
testCloneShare()	Clasp::Test::LogicProgramTest	[inline]
testCloneShareSymbols()	Clasp::Test::LogicProgramTest	[inline]
testCompLit()	Clasp::Test::LogicProgramTest	[inline]
testComputeTrueBug()	Clasp::Test::LogicProgramTest	[inline]
testConflictingCompute()	Clasp::Test::LogicProgramTest	[inline]
testConstraintsAreAsserted()	Clasp::Test::LogicProgramTest	[inline]
testCrEqBug()	Clasp::Test::LogicProgramTest	[inline]
testDepBodyBug()	Clasp::Test::LogicProgramTest	[inline]
testDerivedTAUT()	Clasp::Test::LogicProgramTest	[inline]
testDontAddDuplicateBodies()	Clasp::Test::LogicProgramTest	[inline]
testDontAddDuplicateSumBodies()	Clasp::Test::LogicProgramTest	[inline]
testDontAddOnePredsThatAreNotHeads()	Clasp::Test::LogicProgramTest	[inline]
testDontAddUnsupported()	Clasp::Test::LogicProgramTest	[inline]
testDontAddUnsupportedExtNoEq()	Clasp::Test::LogicProgramTest	[inline]
testDontAddUnsupportedNoEq()	Clasp::Test::LogicProgramTest	[inline]
testDuplicateRule()	Clasp::Test::LogicProgramTest	[inline]
testEqCompute()	Clasp::Test::LogicProgramTest	[inline]
testEqOverBodiesOfDiffType()	Clasp::Test::LogicProgramTest	[inline]
testEqOverChoiceRule()	Clasp::Test::LogicProgramTest	[inline]
testEqOverComp()	Clasp::Test::LogicProgramTest	[inline]
testEqSuccs()	Clasp::Test::LogicProgramTest	[inline]
testExtLitsAreFrozen()	Clasp::Test::LogicProgramTest	[inline]
testFactsAreAsserted()	Clasp::Test::LogicProgramTest	[inline]
testForceUnsuppAtomFails()	Clasp::Test::LogicProgramTest	[inline]
testFunnySelfblockerOverEqByTwo()	Clasp::Test::LogicProgramTest	[inline]
testIgnoreCondFactsInLoops()	Clasp::Test::LogicProgramTest	[inline]
testIgnoreRules()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalBackpropCompute()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalBackpropSolver()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalBackpropStep()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalCompute()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalComputeBackprop()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalEq()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalEqComplement()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalEqResetState()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalEqUnfreeze()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalEqUpdateAssigned()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalFreeze()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalFreezeDefined()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalFreezeUnfreeze()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalFreezeValue()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalGetAssumptions()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalImplicitUnfreeze()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalKeepFrozen()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalRedefine()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalSimplifyCard()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalSimplifyMinimize()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalStats()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalSymbolUpdate()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalTransform()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalUnfreezeCompute()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalUnfreezeDefined()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalUnfreezeEq()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalUnfreezeUnsupp()	Clasp::Test::LogicProgramTest	[inline]
testIncrementalUnfreezeUnsuppEq()	Clasp::Test::LogicProgramTest	[inline]
testMergeEquivalentAtomsInConstraintRule()	Clasp::Test::LogicProgramTest	[inline]
testMergeEquivalentAtomsInWeightRule()	Clasp::Test::LogicProgramTest	[inline]
testMergeToSelfblocker()	Clasp::Test::LogicProgramTest	[inline]
testMergeToSelfblocker2()	Clasp::Test::LogicProgramTest	[inline]
testMergeValue()	Clasp::Test::LogicProgramTest	[inline]
testNoBodyUnification()	Clasp::Test::LogicProgramTest	[inline]
testNoEqAtomReplacement()	Clasp::Test::LogicProgramTest	[inline]
testNoEqSameLitBug()	Clasp::Test::LogicProgramTest	[inline]
testNonTight()	Clasp::Test::LogicProgramTest	[inline]
testNotAChoice()	Clasp::Test::LogicProgramTest	[inline]
testNotAChoiceMerge()	Clasp::Test::LogicProgramTest	[inline]
testOneLoop()	Clasp::Test::LogicProgramTest	[inline]
testRemoveKnownAtomFromWeightRule()	Clasp::Test::LogicProgramTest	[inline]
testSatBodyBug()	Clasp::Test::LogicProgramTest	[inline]
testSelfblockersAreAsserted()	Clasp::Test::LogicProgramTest	[inline]
testSimpleIncremental()	Clasp::Test::LogicProgramTest	[inline]
testSimplifyBodyEqBug()	Clasp::Test::LogicProgramTest	[inline]
testSimplifyCompBug()	Clasp::Test::LogicProgramTest	[inline]
testSimplifyToCardBug()	Clasp::Test::LogicProgramTest	[inline]
testSimplifyToNormal()	Clasp::Test::LogicProgramTest	[inline]
testTrivialConflictsAreDeteced()	Clasp::Test::LogicProgramTest	[inline]
testTwoFactsOnlyOneVar()	Clasp::Test::LogicProgramTest	[inline]
testWeightlessAtomsInWeightRule()	Clasp::Test::LogicProgramTest	[inline]
testWriteWeakTrue()	Clasp::Test::LogicProgramTest	[inline]
testZeroLoop()	Clasp::Test::LogicProgramTest	[inline]
writeIntegrityConstraint()	Clasp::Test::LogicProgramTest	[inline]