Public Member Functions
	DefaultMinimizeTest ()
void	setUp ()
void	tearDown ()
void	testAdjust ()
void	testAdjustFact ()
void	testAssumption ()
void	testBacktrackToTrue ()
void	testBugAdjustSum ()
void	testBugBacktrackFromFalse ()
void	testBugBacktrackToTrue ()
void	testBugInitOptHierarch ()
void	testComputeImplicationLevel ()
void	testConflict ()
void	testEmpty ()
void	testEnumerate ()
void	testHierarchical ()
void	testHierarchicalSetModel ()
void	testInconsistent ()
void	testIntegrateBug ()
void	testIntegrateOptimum ()
void	testIntegrateOptimumConflict ()
void	testMergeComplementaryLits ()
void	testMergeComplementaryLits2 ()
void	testMultiAssignment ()
void	testMultiLevelLits ()
void	testMultiLevelWeightsAreReused ()
void	testNegativeLower ()
void	testNegativeLowerInit ()
void	testOneLevelLits ()
void	testOptimize ()
void	testOrder ()
void	testPriorityBug ()
void	testReasonBug ()
void	testReassertAfterBacktrack ()
void	testRootLevelMadness ()
void	testSetModelMayBacktrackMultiLevels ()
void	testSkipLevel ()
void	testSmartBacktrack ()
void	testStrengthenImplication ()
void	testWeightNullBug ()
Private Member Functions
DefaultMinimize *	buildAndAttach (MinimizeBuilder &x, MinimizeMode m=MinimizeMode_t::optimize, const wsum_t *b=0, uint32 bs=0)
uint32	countMinLits () const
	CPPUNIT_TEST (testEmpty)
	CPPUNIT_TEST (testOneLevelLits)
	CPPUNIT_TEST (testMultiLevelLits)
	CPPUNIT_TEST (testMultiLevelWeightsAreReused)
	CPPUNIT_TEST (testMergeComplementaryLits)
	CPPUNIT_TEST (testMergeComplementaryLits2)
	CPPUNIT_TEST (testNegativeLowerInit)
	CPPUNIT_TEST (testNegativeLower)
	CPPUNIT_TEST (testOrder)
	CPPUNIT_TEST (testSkipLevel)
	CPPUNIT_TEST (testReassertAfterBacktrack)
	CPPUNIT_TEST (testConflict)
	CPPUNIT_TEST (testOptimize)
	CPPUNIT_TEST (testEnumerate)
	CPPUNIT_TEST (testComputeImplicationLevel)
	CPPUNIT_TEST (testSetModelMayBacktrackMultiLevels)
	CPPUNIT_TEST (testPriorityBug)
	CPPUNIT_TEST (testStrengthenImplication)
	CPPUNIT_TEST (testRootLevelMadness)
	CPPUNIT_TEST (testIntegrateOptimum)
	CPPUNIT_TEST (testIntegrateOptimumConflict)
	CPPUNIT_TEST (testIntegrateBug)
	CPPUNIT_TEST (testReasonBug)
	CPPUNIT_TEST (testSmartBacktrack)
	CPPUNIT_TEST (testBacktrackToTrue)
	CPPUNIT_TEST (testMultiAssignment)
	CPPUNIT_TEST (testBugBacktrackFromFalse)
	CPPUNIT_TEST (testBugBacktrackToTrue)
	CPPUNIT_TEST (testBugInitOptHierarch)
	CPPUNIT_TEST (testBugAdjustSum)
	CPPUNIT_TEST (testWeightNullBug)
	CPPUNIT_TEST (testAdjust)
	CPPUNIT_TEST (testAdjustFact)
	CPPUNIT_TEST (testAssumption)
	CPPUNIT_TEST (testHierarchicalSetModel)
	CPPUNIT_TEST (testHierarchical)
	CPPUNIT_TEST (testInconsistent)
	CPPUNIT_TEST_SUITE (DefaultMinimizeTest)
	CPPUNIT_TEST_SUITE_END ()
DefaultMinimize *	createMin (SharedContext &ctx, Solver &s, SharedMinimizeData *data, SolverStrategies::OptStrategy str=SolverStrategies::opt_def)
bool	setOptimum (Solver &s, SumVec &vec, bool less)
Private Attributes
Literal	a
Literal	b
Literal	c
SharedContext	ctx
Literal	d
SharedMinimizeData *	data
Literal	e
Literal	f
DefaultMinimize *	newMin
Literal	x
Literal	y

Detailed Description

Definition at line 26 of file minimize_test.cpp.

Constructor & Destructor Documentation

Clasp::Test::DefaultMinimizeTest::DefaultMinimizeTest ( ) [inline]

Definition at line 70 of file minimize_test.cpp.

Member Function Documentation

DefaultMinimize* Clasp::Test::DefaultMinimizeTest::buildAndAttach	(	MinimizeBuilder &	x,
		MinimizeMode	m = `MinimizeMode_t::optimize`,
		const wsum_t *	b = `0`,
		uint32	bs = `0`
	)		`[inline, private]`

Definition at line 991 of file minimize_test.cpp.

uint32 Clasp::Test::DefaultMinimizeTest::countMinLits ( ) const [inline, private]

Definition at line 969 of file minimize_test.cpp.

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testEmpty ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testOneLevelLits ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testMultiLevelLits ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testMultiLevelWeightsAreReused ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testMergeComplementaryLits ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testMergeComplementaryLits2 ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testNegativeLowerInit ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testNegativeLower ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testOrder ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testSkipLevel ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testReassertAfterBacktrack ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testConflict ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testOptimize ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testEnumerate ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testComputeImplicationLevel ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testSetModelMayBacktrackMultiLevels ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testPriorityBug ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testStrengthenImplication ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testRootLevelMadness ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testIntegrateOptimum ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testIntegrateOptimumConflict ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testIntegrateBug ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testReasonBug ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testSmartBacktrack ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testBacktrackToTrue ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testMultiAssignment ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testBugBacktrackFromFalse ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testBugBacktrackToTrue ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testBugInitOptHierarch ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testBugAdjustSum ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testWeightNullBug ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testAdjust ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testAdjustFact ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testAssumption ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testHierarchicalSetModel ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testHierarchical ) [private]

Clasp::Test::DefaultMinimizeTest::CPPUNIT_TEST ( testInconsistent ) [private]

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

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

DefaultMinimize* Clasp::Test::DefaultMinimizeTest::createMin	(	SharedContext &	ctx,
		Solver &	s,
		SharedMinimizeData *	data,
		SolverStrategies::OptStrategy	str = `SolverStrategies::opt_def`
	)		`[inline, private]`

Definition at line 987 of file minimize_test.cpp.

bool Clasp::Test::DefaultMinimizeTest::setOptimum	(	Solver &	s,
		SumVec &	vec,
		bool	less
	)		`[inline, private]`

Definition at line 976 of file minimize_test.cpp.

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

Definition at line 81 of file minimize_test.cpp.

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

Definition at line 82 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testAdjust ( ) [inline]

Definition at line 837 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testAdjustFact ( ) [inline]

Definition at line 855 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testAssumption ( ) [inline]

Definition at line 875 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testBacktrackToTrue ( ) [inline]

Definition at line 666 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testBugAdjustSum ( ) [inline]

Definition at line 802 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testBugBacktrackFromFalse ( ) [inline]

Definition at line 709 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testBugBacktrackToTrue ( ) [inline]

Definition at line 751 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testBugInitOptHierarch ( ) [inline]

Definition at line 780 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testComputeImplicationLevel ( ) [inline]

Definition at line 410 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testConflict ( ) [inline]

Definition at line 326 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testEmpty ( ) [inline]

Definition at line 86 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testEnumerate ( ) [inline]

Definition at line 380 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testHierarchical ( ) [inline]

Definition at line 932 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testHierarchicalSetModel ( ) [inline]

Definition at line 903 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testInconsistent ( ) [inline]

Definition at line 956 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testIntegrateBug ( ) [inline]

Definition at line 604 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testIntegrateOptimum ( ) [inline]

Definition at line 548 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testIntegrateOptimumConflict ( ) [inline]

Definition at line 572 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testMergeComplementaryLits ( ) [inline]

Definition at line 182 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testMergeComplementaryLits2 ( ) [inline]

Definition at line 204 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testMultiAssignment ( ) [inline]

Definition at line 682 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testMultiLevelLits ( ) [inline]

Definition at line 118 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testMultiLevelWeightsAreReused ( ) [inline]

Definition at line 158 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testNegativeLower ( ) [inline]

Definition at line 230 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testNegativeLowerInit ( ) [inline]

Definition at line 217 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testOneLevelLits ( ) [inline]

Definition at line 92 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testOptimize ( ) [inline]

Definition at line 359 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testOrder ( ) [inline]

Definition at line 258 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testPriorityBug ( ) [inline]

Definition at line 451 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testReasonBug ( ) [inline]

Definition at line 620 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testReassertAfterBacktrack ( ) [inline]

Definition at line 306 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testRootLevelMadness ( ) [inline]

Definition at line 511 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testSetModelMayBacktrackMultiLevels ( ) [inline]

Definition at line 438 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testSkipLevel ( ) [inline]

Definition at line 279 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testSmartBacktrack ( ) [inline]

Definition at line 648 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testStrengthenImplication ( ) [inline]

Definition at line 483 of file minimize_test.cpp.

void Clasp::Test::DefaultMinimizeTest::testWeightNullBug ( ) [inline]

Definition at line 824 of file minimize_test.cpp.

Member Data Documentation

Literal Clasp::Test::DefaultMinimizeTest::a [private]

Definition at line 1002 of file minimize_test.cpp.

Literal Clasp::Test::DefaultMinimizeTest::b [private]

Definition at line 1002 of file minimize_test.cpp.

Literal Clasp::Test::DefaultMinimizeTest::c [private]

Definition at line 1002 of file minimize_test.cpp.

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

Definition at line 999 of file minimize_test.cpp.

Literal Clasp::Test::DefaultMinimizeTest::d [private]

Definition at line 1002 of file minimize_test.cpp.

SharedMinimizeData* Clasp::Test::DefaultMinimizeTest::data [private]

Definition at line 1001 of file minimize_test.cpp.

Literal Clasp::Test::DefaultMinimizeTest::e [private]

Definition at line 1002 of file minimize_test.cpp.

Literal Clasp::Test::DefaultMinimizeTest::f [private]

Definition at line 1002 of file minimize_test.cpp.

DefaultMinimize* Clasp::Test::DefaultMinimizeTest::newMin [private]

Definition at line 1000 of file minimize_test.cpp.

Literal Clasp::Test::DefaultMinimizeTest::x [private]

Definition at line 1002 of file minimize_test.cpp.

Literal Clasp::Test::DefaultMinimizeTest::y [private]

Definition at line 1002 of file minimize_test.cpp.

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

minimize_test.cpp

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation