Public Member Functions
void	setUp ()
void	testAddClause ()
void	testAddConflicting ()
void	testAddSoftClause ()
void	testNoClauses ()
void	testPrepare ()
Private Member Functions
	CPPUNIT_TEST (testPrepare)
	CPPUNIT_TEST (testNoClauses)
	CPPUNIT_TEST (testAddClause)
	CPPUNIT_TEST (testAddSoftClause)
	CPPUNIT_TEST (testAddConflicting)
	CPPUNIT_TEST_SUITE (SatBuilderTest)
	CPPUNIT_TEST_SUITE_END ()
Private Attributes
SatBuilder	builder
SharedContext	ctx

Detailed Description

Definition at line 2131 of file program_builder_test.cpp.

Member Function Documentation

Clasp::Test::SatBuilderTest::CPPUNIT_TEST ( testPrepare ) [private]

Clasp::Test::SatBuilderTest::CPPUNIT_TEST ( testNoClauses ) [private]

Clasp::Test::SatBuilderTest::CPPUNIT_TEST ( testAddClause ) [private]

Clasp::Test::SatBuilderTest::CPPUNIT_TEST ( testAddSoftClause ) [private]

Clasp::Test::SatBuilderTest::CPPUNIT_TEST ( testAddConflicting ) [private]

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

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

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

Definition at line 2140 of file program_builder_test.cpp.

void Clasp::Test::SatBuilderTest::testAddClause ( ) [inline]

Definition at line 2153 of file program_builder_test.cpp.

void Clasp::Test::SatBuilderTest::testAddConflicting ( ) [inline]

Definition at line 2176 of file program_builder_test.cpp.

void Clasp::Test::SatBuilderTest::testAddSoftClause ( ) [inline]

Definition at line 2161 of file program_builder_test.cpp.

void Clasp::Test::SatBuilderTest::testNoClauses ( ) [inline]

Definition at line 2148 of file program_builder_test.cpp.

void Clasp::Test::SatBuilderTest::testPrepare ( ) [inline]

Definition at line 2143 of file program_builder_test.cpp.

Definition at line 2193 of file program_builder_test.cpp.

Definition at line 2192 of file program_builder_test.cpp.

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