Public Member Functions
void	setUp ()
void	testDimacs ()
void	testDimacsBadVars ()
void	testDimacsDontAddDupLit ()
void	testDimacsDontAddTaut ()
void	testPartialWcnf ()
void	testWcnf ()
Private Member Functions
	CPPUNIT_TEST (testDimacs)
	CPPUNIT_TEST (testDimacsDontAddTaut)
	CPPUNIT_TEST (testDimacsDontAddDupLit)
	CPPUNIT_TEST (testDimacsBadVars)
	CPPUNIT_TEST (testWcnf)
	CPPUNIT_TEST (testPartialWcnf)
	CPPUNIT_TEST_SUITE (DimacsParserTest)
	CPPUNIT_TEST_SUITE_END ()
Private Attributes
SatBuilder	api
SharedContext	ctx

Detailed Description

Definition at line 230 of file parser_test.cpp.

Member Function Documentation

Clasp::Test::DimacsParserTest::CPPUNIT_TEST ( testDimacs ) [private]

Clasp::Test::DimacsParserTest::CPPUNIT_TEST ( testDimacsDontAddTaut ) [private]

Clasp::Test::DimacsParserTest::CPPUNIT_TEST ( testDimacsDontAddDupLit ) [private]

Clasp::Test::DimacsParserTest::CPPUNIT_TEST ( testDimacsBadVars ) [private]

Clasp::Test::DimacsParserTest::CPPUNIT_TEST ( testWcnf ) [private]

Clasp::Test::DimacsParserTest::CPPUNIT_TEST ( testPartialWcnf ) [private]

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

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

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

Definition at line 243 of file parser_test.cpp.

void Clasp::Test::DimacsParserTest::testDimacs ( ) [inline]

Definition at line 246 of file parser_test.cpp.

void Clasp::Test::DimacsParserTest::testDimacsBadVars ( ) [inline]

Definition at line 285 of file parser_test.cpp.

void Clasp::Test::DimacsParserTest::testDimacsDontAddDupLit ( ) [inline]

Definition at line 271 of file parser_test.cpp.

void Clasp::Test::DimacsParserTest::testDimacsDontAddTaut ( ) [inline]

Definition at line 258 of file parser_test.cpp.

void Clasp::Test::DimacsParserTest::testPartialWcnf ( ) [inline]

Definition at line 314 of file parser_test.cpp.

void Clasp::Test::DimacsParserTest::testWcnf ( ) [inline]

Definition at line 292 of file parser_test.cpp.

Definition at line 335 of file parser_test.cpp.

Definition at line 334 of file parser_test.cpp.

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