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

Detailed Description

Definition at line 45 of file program_builder_test.cpp.

Member Typedef Documentation

typedef SharedDependencyGraph Clasp::Test::LogicProgramTest::DG [private]

Definition at line 2125 of file program_builder_test.cpp.

Member Function Documentation

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testMergeValue ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIgnoreRules ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDuplicateRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testNotAChoice ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testNotAChoiceMerge ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testMergeToSelfblocker ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testMergeToSelfblocker2 ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDerivedTAUT ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testOneLoop ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testZeroLoop ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testEqSuccs ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testEqCompute ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testFactsAreAsserted ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testSelfblockersAreAsserted ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testConstraintsAreAsserted ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testConflictingCompute ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testForceUnsuppAtomFails ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testTrivialConflictsAreDeteced ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testBuildEmpty ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAddOneFact ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testTwoFactsOnlyOneVar ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDontAddOnePredsThatAreNotHeads ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDontAddDuplicateBodies ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDontAddDuplicateSumBodies ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDontAddUnsupported ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDontAddUnsupportedNoEq ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDontAddUnsupportedExtNoEq ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAssertSelfblockers ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testCloneShare ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testCloneShareSymbols ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testCloneFull ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testSatBodyBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testDepBodyBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAddUnknownAtomToMinimize ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testWriteWeakTrue ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testSimplifyBodyEqBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testNoEqSameLitBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAssertEqSelfblocker ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAddClauses ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAddCardConstraint ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAddWeightConstraint ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAddMinimizeConstraint ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAddEmptyMinimizeConstraint ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testNonTight ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIgnoreCondFactsInLoops ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testCrEqBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testEqOverChoiceRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testEqOverBodiesOfDiffType ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testEqOverComp ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testNoBodyUnification ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testNoEqAtomReplacement ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAllBodiesSameLit ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testAllBodiesSameLit2 ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testCompLit ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testFunnySelfblockerOverEqByTwo ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testRemoveKnownAtomFromWeightRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testMergeEquivalentAtomsInConstraintRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testMergeEquivalentAtomsInWeightRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testBothLitsInConstraintRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testBothLitsInWeightRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testWeightlessAtomsInWeightRule ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testSimplifyToNormal ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testSimplifyToCardBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testSimplifyCompBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testBPWeight ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testExtLitsAreFrozen ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( writeIntegrityConstraint ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testComputeTrueBug ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testBackprop ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testSimpleIncremental ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalFreeze ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalFreezeValue ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalKeepFrozen ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalUnfreezeUnsupp ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalUnfreezeCompute ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalCompute ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalComputeBackprop ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalBackpropStep ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalEq ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalEqUnfreeze ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalEqComplement ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalEqUpdateAssigned ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalEqResetState ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalUnfreezeUnsuppEq ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalUnfreezeEq ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalStats ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalTransform ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalBackpropCompute ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalFreezeUnfreeze ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalSymbolUpdate ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalBackpropSolver ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalFreezeDefined ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalUnfreezeDefined ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalImplicitUnfreeze ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalRedefine ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalGetAssumptions ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalSimplifyCard ) [private]

Clasp::Test::LogicProgramTest::CPPUNIT_TEST ( testIncrementalSimplifyMinimize ) [private]

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

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

void Clasp::Test::LogicProgramTest::tearDown ( ) [inline]

Definition at line 157 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAddCardConstraint ( ) [inline]

Definition at line 801 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAddClauses ( ) [inline]

Definition at line 738 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAddEmptyMinimizeConstraint ( ) [inline]

Definition at line 850 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAddMinimizeConstraint ( ) [inline]

Definition at line 831 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAddOneFact ( ) [inline]

Definition at line 424 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAddUnknownAtomToMinimize ( ) [inline]

Definition at line 662 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAddWeightConstraint ( ) [inline]

Definition at line 817 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAllBodiesSameLit ( ) [inline]

Definition at line 1007 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAllBodiesSameLit2 ( ) [inline]

Definition at line 1032 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAssertEqSelfblocker ( ) [inline]

Definition at line 723 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testAssertSelfblockers ( ) [inline]

Definition at line 548 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testBackprop ( ) [inline]

Definition at line 1356 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testBothLitsInConstraintRule ( ) [inline]

Definition at line 1169 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testBothLitsInWeightRule ( ) [inline]

Definition at line 1188 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testBPWeight ( ) [inline]

Definition at line 1278 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testBug ( ) [inline]

Definition at line 625 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testBuildEmpty ( ) [inline]

Definition at line 417 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testCloneFull ( ) [inline]

Definition at line 604 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testCloneShare ( ) [inline]

Definition at line 562 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testCloneShareSymbols ( ) [inline]

Definition at line 584 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testCompLit ( ) [inline]

Definition at line 1058 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testComputeTrueBug ( ) [inline]

Definition at line 1339 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testConflictingCompute ( ) [inline]

Definition at line 388 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testConstraintsAreAsserted ( ) [inline]

Definition at line 377 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testCrEqBug ( ) [inline]

Definition at line 890 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDepBodyBug ( ) [inline]

Definition at line 650 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDerivedTAUT ( ) [inline]

Definition at line 270 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDontAddDuplicateBodies ( ) [inline]

Definition at line 465 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDontAddDuplicateSumBodies ( ) [inline]

Definition at line 484 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDontAddOnePredsThatAreNotHeads ( ) [inline]

Definition at line 450 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDontAddUnsupported ( ) [inline]

Definition at line 498 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDontAddUnsupportedExtNoEq ( ) [inline]

Definition at line 531 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDontAddUnsupportedNoEq ( ) [inline]

Definition at line 514 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testDuplicateRule ( ) [inline]

Definition at line 199 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testEqCompute ( ) [inline]

Definition at line 334 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testEqOverBodiesOfDiffType ( ) [inline]

Definition at line 939 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testEqOverChoiceRule ( ) [inline]

Definition at line 903 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testEqOverComp ( ) [inline]

Definition at line 922 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testEqSuccs ( ) [inline]

Definition at line 318 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testExtLitsAreFrozen ( ) [inline]

Definition at line 1292 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testFactsAreAsserted ( ) [inline]

Definition at line 355 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testForceUnsuppAtomFails ( ) [inline]

Definition at line 399 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testFunnySelfblockerOverEqByTwo ( ) [inline]

Definition at line 1078 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIgnoreCondFactsInLoops ( ) [inline]

Definition at line 876 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIgnoreRules ( ) [inline]

Definition at line 190 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalBackpropCompute ( ) [inline]

Definition at line 1915 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalBackpropSolver ( ) [inline]

Definition at line 1945 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalBackpropStep ( ) [inline]

Definition at line 1614 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalCompute ( ) [inline]

Definition at line 1565 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalComputeBackprop ( ) [inline]

Definition at line 1592 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalEq ( ) [inline]

Definition at line 1636 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalEqComplement ( ) [inline]

Definition at line 1682 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalEqResetState ( ) [inline]

Definition at line 1734 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalEqUnfreeze ( ) [inline]

Definition at line 1658 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalEqUpdateAssigned ( ) [inline]

Definition at line 1707 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalFreeze ( ) [inline]

Definition at line 1404 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalFreezeDefined ( ) [inline]

Definition at line 2013 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalFreezeUnfreeze ( ) [inline]

Definition at line 1969 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalFreezeValue ( ) [inline]

Definition at line 1448 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalGetAssumptions ( ) [inline]

Definition at line 2075 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalImplicitUnfreeze ( ) [inline]

Definition at line 2043 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalKeepFrozen ( ) [inline]

Definition at line 1483 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalRedefine ( ) [inline]

Definition at line 2061 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalSimplifyCard ( ) [inline]

Definition at line 2088 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalSimplifyMinimize ( ) [inline]

Definition at line 2105 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalStats ( ) [inline]

Definition at line 1825 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalSymbolUpdate ( ) [inline]

Definition at line 1994 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalTransform ( ) [inline]

Definition at line 1886 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalUnfreezeCompute ( ) [inline]

Definition at line 1539 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalUnfreezeDefined ( ) [inline]

Definition at line 2028 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalUnfreezeEq ( ) [inline]

Definition at line 1797 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalUnfreezeUnsupp ( ) [inline]

Definition at line 1500 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testIncrementalUnfreezeUnsuppEq ( ) [inline]

Definition at line 1769 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testMergeEquivalentAtomsInConstraintRule ( ) [inline]

Definition at line 1130 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testMergeEquivalentAtomsInWeightRule ( ) [inline]

Definition at line 1149 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testMergeToSelfblocker ( ) [inline]

Definition at line 242 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testMergeToSelfblocker2 ( ) [inline]

Definition at line 253 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testMergeValue ( ) [inline]

Definition at line 160 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testNoBodyUnification ( ) [inline]

Definition at line 955 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testNoEqAtomReplacement ( ) [inline]

Definition at line 984 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testNoEqSameLitBug ( ) [inline]

Definition at line 707 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testNonTight ( ) [inline]

Definition at line 858 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testNotAChoice ( ) [inline]

Definition at line 210 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testNotAChoiceMerge ( ) [inline]

Definition at line 227 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testOneLoop ( ) [inline]

Definition at line 286 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testRemoveKnownAtomFromWeightRule ( ) [inline]

Definition at line 1106 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testSatBodyBug ( ) [inline]

Definition at line 636 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testSelfblockersAreAsserted ( ) [inline]

Definition at line 367 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testSimpleIncremental ( ) [inline]

Definition at line 1374 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testSimplifyBodyEqBug ( ) [inline]

Definition at line 688 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testSimplifyCompBug ( ) [inline]

Definition at line 1252 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testSimplifyToCardBug ( ) [inline]

Definition at line 1237 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testSimplifyToNormal ( ) [inline]

Definition at line 1222 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testTrivialConflictsAreDeteced ( ) [inline]

Definition at line 408 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testTwoFactsOnlyOneVar ( ) [inline]

Definition at line 437 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testWeightlessAtomsInWeightRule ( ) [inline]

Definition at line 1207 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testWriteWeakTrue ( ) [inline]

Definition at line 670 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::testZeroLoop ( ) [inline]

Definition at line 300 of file program_builder_test.cpp.

void Clasp::Test::LogicProgramTest::writeIntegrityConstraint ( ) [inline]

Definition at line 1323 of file program_builder_test.cpp.

Member Data Documentation

LogicProgram Clasp::Test::LogicProgramTest::builder [private]

Definition at line 2127 of file program_builder_test.cpp.

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

Definition at line 2126 of file program_builder_test.cpp.

stringstream Clasp::Test::LogicProgramTest::str [private]

Definition at line 2128 of file program_builder_test.cpp.

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

program_builder_test.cpp

Public Member Functions

Private Types

Private Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

Member Function Documentation

Member Data Documentation