Public Member Functions
void	setUp ()
void	testComputeStatementAssumptions ()
void	testEmptyLparse ()
void	testSimpleChoiceRule ()
void	testSimpleConstraintRule ()
void	testSimpleWeightRule ()
void	testSingleFact ()
void	testTransformSimpleChoiceRule ()
void	testTransformSimpleConstraintRule ()
void	testTransformSimpleWeightRule ()
Private Member Functions
	CPPUNIT_TEST (testEmptyLparse)
	CPPUNIT_TEST (testSingleFact)
	CPPUNIT_TEST (testComputeStatementAssumptions)
	CPPUNIT_TEST (testTransformSimpleConstraintRule)
	CPPUNIT_TEST (testTransformSimpleWeightRule)
	CPPUNIT_TEST (testTransformSimpleChoiceRule)
	CPPUNIT_TEST (testSimpleConstraintRule)
	CPPUNIT_TEST (testSimpleWeightRule)
	CPPUNIT_TEST (testSimpleChoiceRule)
	CPPUNIT_TEST_SUITE (LparseParserTest)
	CPPUNIT_TEST_SUITE_END ()
Private Attributes
Asp::LogicProgram	api
SharedContext	ctx

Detailed Description

Definition at line 28 of file parser_test.cpp.

Member Function Documentation

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testEmptyLparse ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testSingleFact ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testComputeStatementAssumptions ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testTransformSimpleConstraintRule ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testTransformSimpleWeightRule ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testTransformSimpleChoiceRule ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testSimpleConstraintRule ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testSimpleWeightRule ) [private]

Clasp::Test::LparseParserTest::CPPUNIT_TEST ( testSimpleChoiceRule ) [private]

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

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

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

Definition at line 43 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testComputeStatementAssumptions ( ) [inline]

Definition at line 63 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testEmptyLparse ( ) [inline]

Definition at line 46 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testSimpleChoiceRule ( ) [inline]

Definition at line 204 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testSimpleConstraintRule ( ) [inline]

Definition at line 152 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testSimpleWeightRule ( ) [inline]

Definition at line 178 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testSingleFact ( ) [inline]

Definition at line 56 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testTransformSimpleChoiceRule ( ) [inline]

Definition at line 132 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testTransformSimpleConstraintRule ( ) [inline]

Definition at line 81 of file parser_test.cpp.

void Clasp::Test::LparseParserTest::testTransformSimpleWeightRule ( ) [inline]

Definition at line 107 of file parser_test.cpp.

Definition at line 227 of file parser_test.cpp.

Definition at line 226 of file parser_test.cpp.

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