clingo
|
Public Member Functions | |
virtual void | setUp () |
virtual void | tearDown () |
void | test_toGround () |
void | test_analyze () |
virtual | ~TestProgram () |
|
virtual |
|
virtual |
|
virtual |
void Gringo::Ground::Test::TestProgram::test_analyze | ( | ) |
void Gringo::Ground::Test::TestProgram::test_toGround | ( | ) |