Public Member Functions
void	setUp ()
void	testNLC ()
void	testNLCUnsorted ()
void	testPBEqualityBug ()
void	testWBO ()
Private Member Functions
	CPPUNIT_TEST (testWBO)
	CPPUNIT_TEST (testNLC)
	CPPUNIT_TEST (testNLCUnsorted)
	CPPUNIT_TEST (testPBEqualityBug)
	CPPUNIT_TEST_SUITE (OPBParserTest)
	CPPUNIT_TEST_SUITE_END ()
Private Attributes
PBBuilder	api
SharedContext	ctx

Detailed Description

Definition at line 338 of file parser_test.cpp.

Member Function Documentation

Clasp::Test::OPBParserTest::CPPUNIT_TEST ( testWBO ) [private]

Clasp::Test::OPBParserTest::CPPUNIT_TEST ( testNLC ) [private]

Clasp::Test::OPBParserTest::CPPUNIT_TEST ( testNLCUnsorted ) [private]

Clasp::Test::OPBParserTest::CPPUNIT_TEST ( testPBEqualityBug ) [private]

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

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

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

Definition at line 348 of file parser_test.cpp.

void Clasp::Test::OPBParserTest::testNLC ( ) [inline]

Definition at line 368 of file parser_test.cpp.

void Clasp::Test::OPBParserTest::testNLCUnsorted ( ) [inline]

Definition at line 381 of file parser_test.cpp.

void Clasp::Test::OPBParserTest::testPBEqualityBug ( ) [inline]

Definition at line 392 of file parser_test.cpp.

void Clasp::Test::OPBParserTest::testWBO ( ) [inline]

Definition at line 351 of file parser_test.cpp.

Definition at line 405 of file parser_test.cpp.

Definition at line 404 of file parser_test.cpp.

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