Public Member Functions
Solver &	solver ()
void	testAddOnLevel ()
void	testAssertNotSoTriviallySat ()
void	testAssertNotSoTriviallyUnSat ()
void	testAssertTriviallySat ()
void	testAssertTriviallyUnSat ()
void	testAssertWeightNotSoTriviallySat ()
void	testAssertWeightNotSoTriviallyUnSat ()
void	testAssertWeightTriviallySat ()
void	testAssertWeightTriviallyUnSat ()
void	testBackwardAfterForward ()
void	testBackwardFalse ()
void	testBackwardFalseConflict ()
void	testBackwardTrue ()
void	testBackwardTrueConflict ()
void	testCloneWeight ()
void	testCloneWeightShared ()
void	testCreateSat ()
void	testCreateSatOnRoot ()
void	testCreateSatOnRootNoProp ()
void	testForwardFalse ()
void	testForwardFalseConflict ()
void	testForwardTrue ()
void	testForwardTrueConflict ()
void	testMergeNegativeWeight ()
void	testOrderBug ()
void	testReasonBug ()
void	testSimplify ()
void	testSimplifyCardinality ()
void	testSimplifyWeight ()
void	testTrivialBackpropFalse ()
void	testTrivialBackpropFalseWeight ()
void	testTrivialBackpropTrue ()
void	testWeightBackwardFalse ()
void	testWeightBackwardTrue ()
void	testWeightConflict ()
void	testWeightForwardFalse ()
void	testWeightForwardTrue ()
void	testWeightReasonAfterBackprop ()
	WeightConstraintTest ()
Private Member Functions
	CPPUNIT_TEST (testAssertTriviallySat)
	CPPUNIT_TEST (testAssertTriviallyUnSat)
	CPPUNIT_TEST (testAssertNotSoTriviallySat)
	CPPUNIT_TEST (testAssertNotSoTriviallyUnSat)
	CPPUNIT_TEST (testTrivialBackpropTrue)
	CPPUNIT_TEST (testTrivialBackpropFalse)
	CPPUNIT_TEST (testTrivialBackpropFalseWeight)
	CPPUNIT_TEST (testForwardTrue)
	CPPUNIT_TEST (testForwardFalse)
	CPPUNIT_TEST (testBackwardTrue)
	CPPUNIT_TEST (testBackwardFalse)
	CPPUNIT_TEST (testForwardTrueConflict)
	CPPUNIT_TEST (testForwardFalseConflict)
	CPPUNIT_TEST (testBackwardTrueConflict)
	CPPUNIT_TEST (testBackwardFalseConflict)
	CPPUNIT_TEST (testReasonBug)
	CPPUNIT_TEST (testWeightReasonAfterBackprop)
	CPPUNIT_TEST (testOrderBug)
	CPPUNIT_TEST (testBackwardAfterForward)
	CPPUNIT_TEST (testSimplify)
	CPPUNIT_TEST (testSimplifyCardinality)
	CPPUNIT_TEST (testSimplifyWeight)
	CPPUNIT_TEST (testAssertWeightTriviallySat)
	CPPUNIT_TEST (testAssertWeightTriviallyUnSat)
	CPPUNIT_TEST (testAssertWeightNotSoTriviallySat)
	CPPUNIT_TEST (testAssertWeightNotSoTriviallyUnSat)
	CPPUNIT_TEST (testWeightForwardTrue)
	CPPUNIT_TEST (testWeightForwardFalse)
	CPPUNIT_TEST (testWeightBackwardTrue)
	CPPUNIT_TEST (testWeightBackwardFalse)
	CPPUNIT_TEST (testWeightConflict)
	CPPUNIT_TEST (testCloneWeight)
	CPPUNIT_TEST (testCloneWeightShared)
	CPPUNIT_TEST (testAddOnLevel)
	CPPUNIT_TEST (testCreateSat)
	CPPUNIT_TEST (testCreateSatOnRoot)
	CPPUNIT_TEST (testCreateSatOnRootNoProp)
	CPPUNIT_TEST (testMergeNegativeWeight)
	CPPUNIT_TEST_SUITE (WeightConstraintTest)
	CPPUNIT_TEST_SUITE_END ()
LitVec	makeLits ()
WeightLitVec	makeWeightLits ()
void	propCard (LitVec &assumptions, const LitVec &expected)
void	propConflictTest (LitVec &assumptions, Literal cflLit)
void	propImpl (LitVec &assumptions, const LitVec &expected)
void	propWeight (LitVec &assume, LitVec &expect)
Static Private Member Functions
static bool	newCardinalityConstraint (SharedContext &ctx, const LitVec &lits, int bound)
static bool	newWeightConstraint (SharedContext &ctx, Literal W, WeightLitVec &lits, weight_t bound)
Private Attributes
Literal	a
Literal	b
Literal	body
Literal	c
SharedContext	ctx
Literal	d
Literal	e
Literal	f

Detailed Description

Definition at line 27 of file weight_constraint_test.cpp.

Constructor & Destructor Documentation

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

Definition at line 78 of file weight_constraint_test.cpp.

Member Function Documentation

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertTriviallySat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertTriviallyUnSat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertNotSoTriviallySat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertNotSoTriviallyUnSat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testTrivialBackpropTrue ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testTrivialBackpropFalse ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testTrivialBackpropFalseWeight ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testForwardTrue ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testForwardFalse ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testBackwardTrue ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testBackwardFalse ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testForwardTrueConflict ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testForwardFalseConflict ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testBackwardTrueConflict ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testBackwardFalseConflict ) [private]

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

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testWeightReasonAfterBackprop ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testOrderBug ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testBackwardAfterForward ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testSimplify ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testSimplifyCardinality ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testSimplifyWeight ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertWeightTriviallySat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertWeightTriviallyUnSat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertWeightNotSoTriviallySat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAssertWeightNotSoTriviallyUnSat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testWeightForwardTrue ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testWeightForwardFalse ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testWeightBackwardTrue ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testWeightBackwardFalse ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testWeightConflict ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testCloneWeight ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testCloneWeightShared ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testAddOnLevel ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testCreateSat ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testCreateSatOnRoot ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testCreateSatOnRootNoProp ) [private]

Clasp::Test::WeightConstraintTest::CPPUNIT_TEST ( testMergeNegativeWeight ) [private]

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

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

LitVec Clasp::Test::WeightConstraintTest::makeLits ( ) [inline, private]

Definition at line 738 of file weight_constraint_test.cpp.

WeightLitVec Clasp::Test::WeightConstraintTest::makeWeightLits ( ) [inline, private]

Definition at line 747 of file weight_constraint_test.cpp.

static bool Clasp::Test::WeightConstraintTest::newCardinalityConstraint	(	SharedContext &	ctx,
		const LitVec &	lits,
		int	bound
	)		`[inline, static, private]`

Definition at line 676 of file weight_constraint_test.cpp.

static bool Clasp::Test::WeightConstraintTest::newWeightConstraint	(	SharedContext &	ctx,
		Literal	W,
		WeightLitVec &	lits,
		weight_t	bound
	)		`[inline, static, private]`

Definition at line 684 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::propCard	(	LitVec &	assumptions,
		const LitVec &	expected
	)		`[inline, private]`

Definition at line 687 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::propConflictTest	(	LitVec &	assumptions,
		Literal	cflLit
	)		`[inline, private]`

Definition at line 717 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::propImpl	(	LitVec &	assumptions,
		const LitVec &	expected
	)		`[inline, private]`

Definition at line 697 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::propWeight	(	LitVec &	assume,
		LitVec &	expect
	)		`[inline, private]`

Definition at line 692 of file weight_constraint_test.cpp.

Solver& Clasp::Test::WeightConstraintTest::solver ( ) [inline]

Definition at line 88 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAddOnLevel ( ) [inline]

Definition at line 583 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertNotSoTriviallySat ( ) [inline]

Definition at line 106 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertNotSoTriviallyUnSat ( ) [inline]

Definition at line 115 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertTriviallySat ( ) [inline]

Definition at line 89 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertTriviallyUnSat ( ) [inline]

Definition at line 97 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertWeightNotSoTriviallySat ( ) [inline]

Definition at line 414 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertWeightNotSoTriviallyUnSat ( ) [inline]

Definition at line 421 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertWeightTriviallySat ( ) [inline]

Definition at line 401 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testAssertWeightTriviallyUnSat ( ) [inline]

Definition at line 407 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testBackwardAfterForward ( ) [inline]

Definition at line 333 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testBackwardFalse ( ) [inline]

Definition at line 187 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testBackwardFalseConflict ( ) [inline]

Definition at line 221 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testBackwardTrue ( ) [inline]

Definition at line 176 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testBackwardTrueConflict ( ) [inline]

Definition at line 213 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testCloneWeight ( ) [inline]

Definition at line 528 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testCloneWeightShared ( ) [inline]

Definition at line 555 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testCreateSat ( ) [inline]

Definition at line 599 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testCreateSatOnRoot ( ) [inline]

Definition at line 618 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testCreateSatOnRootNoProp ( ) [inline]

Definition at line 640 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testForwardFalse ( ) [inline]

Definition at line 164 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testForwardFalseConflict ( ) [inline]

Definition at line 204 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testForwardTrue ( ) [inline]

Definition at line 156 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testForwardTrueConflict ( ) [inline]

Definition at line 197 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testMergeNegativeWeight ( ) [inline]

Definition at line 663 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testOrderBug ( ) [inline]

Definition at line 313 of file weight_constraint_test.cpp.

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

Definition at line 228 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testSimplify ( ) [inline]

Definition at line 352 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testSimplifyCardinality ( ) [inline]

Definition at line 365 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testSimplifyWeight ( ) [inline]

Definition at line 380 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testTrivialBackpropFalse ( ) [inline]

Definition at line 136 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testTrivialBackpropFalseWeight ( ) [inline]

Definition at line 147 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testTrivialBackpropTrue ( ) [inline]

Definition at line 124 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testWeightBackwardFalse ( ) [inline]

Definition at line 485 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testWeightBackwardTrue ( ) [inline]

Definition at line 454 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testWeightConflict ( ) [inline]

Definition at line 510 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testWeightForwardFalse ( ) [inline]

Definition at line 446 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testWeightForwardTrue ( ) [inline]

Definition at line 429 of file weight_constraint_test.cpp.

void Clasp::Test::WeightConstraintTest::testWeightReasonAfterBackprop ( ) [inline]

Definition at line 295 of file weight_constraint_test.cpp.

Member Data Documentation

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

Definition at line 757 of file weight_constraint_test.cpp.

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

Definition at line 757 of file weight_constraint_test.cpp.

Literal Clasp::Test::WeightConstraintTest::body [private]

Definition at line 756 of file weight_constraint_test.cpp.

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

Definition at line 757 of file weight_constraint_test.cpp.

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

Definition at line 755 of file weight_constraint_test.cpp.

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

Definition at line 757 of file weight_constraint_test.cpp.

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

Definition at line 757 of file weight_constraint_test.cpp.

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

Definition at line 757 of file weight_constraint_test.cpp.

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

weight_constraint_test.cpp

Public Member Functions

Private Member Functions

Static Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation