Clasp::Test::SharedClauseTest Class Reference

List of all members.

Public Member Functions
	SharedClauseTest ()
void	testClauseCtorAddsWatches ()
void	testCloneShared ()
void	testPropAlreadySatisfied ()
void	testPropRandomClauses ()
void	testPropSharedClauseConflict ()
void	testReasonBumpsActivityIfLearnt ()
void	testSimplifySAT ()
void	testSimplifyShared ()
void	testSimplifyUnique ()
Private Member Functions
void	check (Solver &solver, ClauseHead *c)
int	countWatches (const Solver &s, ClauseHead *c, const LitVec &lits)
	CPPUNIT_TEST (testClauseCtorAddsWatches)
	CPPUNIT_TEST (testPropSharedClauseConflict)
	CPPUNIT_TEST (testPropRandomClauses)
	CPPUNIT_TEST (testPropAlreadySatisfied)
	CPPUNIT_TEST (testReasonBumpsActivityIfLearnt)
	CPPUNIT_TEST (testSimplifySAT)
	CPPUNIT_TEST (testSimplifyUnique)
	CPPUNIT_TEST (testSimplifyShared)
	CPPUNIT_TEST (testCloneShared)
	CPPUNIT_TEST_SUITE (SharedClauseTest)
	CPPUNIT_TEST_SUITE_END ()
ClauseHead *	createShared (SharedContext &ctx, const LitVec &lits, const ClauseInfo &e)
void	makeLits (int pos, int neg)
void	makeRandomClause (int size)
void	simplePropTest (ClauseHead *c)
std::string	toString (const LitVec &c)
Private Attributes
Literal	a1
Literal	a2
Literal	a3
Literal	b1
Literal	b2
Literal	b3
LitVec	clLits
SharedContext	ctx

---

Detailed Description

Definition at line 32 of file shared_clause_test.cpp.

---

Constructor & Destructor Documentation

Clasp::Test::SharedClauseTest::SharedClauseTest

(

)

[inline]

Definition at line 46 of file shared_clause_test.cpp.

---

Member Function Documentation

void Clasp::Test::SharedClauseTest::check	(	Solver &	solver,
		ClauseHead *	c
	)		[inline, private]

Definition at line 230 of file shared_clause_test.cpp.

int Clasp::Test::SharedClauseTest::countWatches	(	const Solver &	s,
		ClauseHead *	c,
		const LitVec &	lits
	)		[inline, private]

Definition at line 223 of file shared_clause_test.cpp.

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testClauseCtorAddsWatches

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testPropSharedClauseConflict

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testPropRandomClauses

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testPropAlreadySatisfied

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testReasonBumpsActivityIfLearnt

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testSimplifySAT

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testSimplifyUnique

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testSimplifyShared

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST

(

testCloneShared

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST_SUITE

(

SharedClauseTest

)

[private]

Clasp::Test::SharedClauseTest::CPPUNIT_TEST_SUITE_END

(

)

[private]

ClauseHead* Clasp::Test::SharedClauseTest::createShared	(	SharedContext &	ctx,
		const LitVec &	lits,
		const ClauseInfo &	e
	)		[inline, private]

Definition at line 196 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::makeLits	(	int	pos,
		int	neg
	)		[inline, private]

Definition at line 265 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::makeRandomClause

(

int

size

)

[inline, private]

Definition at line 278 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::simplePropTest

(

ClauseHead *

c

)

[inline, private]

Definition at line 202 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testClauseCtorAddsWatches

(

)

[inline]

Definition at line 59 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testCloneShared

(

)

[inline]

Definition at line 169 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testPropAlreadySatisfied

(

)

[inline]

Definition at line 86 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testPropRandomClauses

(

)

[inline]

Definition at line 72 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testPropSharedClauseConflict

(

)

[inline]

Definition at line 66 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testReasonBumpsActivityIfLearnt

(

)

[inline]

Definition at line 104 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testSimplifySAT

(

)

[inline]

Definition at line 126 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testSimplifyShared

(

)

[inline]

Definition at line 152 of file shared_clause_test.cpp.

void Clasp::Test::SharedClauseTest::testSimplifyUnique

(

)

[inline]

Definition at line 138 of file shared_clause_test.cpp.

std::string Clasp::Test::SharedClauseTest::toString

(

const LitVec &

c

)

[inline, private]

Definition at line 253 of file shared_clause_test.cpp.

---

Member Data Documentation

Literal Clasp::Test::SharedClauseTest::a1 [private]

Definition at line 195 of file shared_clause_test.cpp.

Literal Clasp::Test::SharedClauseTest::a2 [private]

Definition at line 195 of file shared_clause_test.cpp.

Literal Clasp::Test::SharedClauseTest::a3 [private]

Definition at line 195 of file shared_clause_test.cpp.

Literal Clasp::Test::SharedClauseTest::b1 [private]

Definition at line 195 of file shared_clause_test.cpp.

Literal Clasp::Test::SharedClauseTest::b2 [private]

Definition at line 195 of file shared_clause_test.cpp.

Literal Clasp::Test::SharedClauseTest::b3 [private]

Definition at line 195 of file shared_clause_test.cpp.

LitVec Clasp::Test::SharedClauseTest::clLits [private]

Definition at line 194 of file shared_clause_test.cpp.

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

Definition at line 193 of file shared_clause_test.cpp.

---

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

• shared_clause_test.cpp