dlvhex
2.5.0
|
#include <testsuite/fixturesMCS.h>
Public Member Functions | |
ProgramMCSMedDProgramCtxFixture () | |
~ProgramMCSMedDProgramCtxFixture () | |
Data Fields | |
std::string | program |
dlvhex::ProgramCtx | ctx |
dlvhex::PluginAtomPtr | papAspCtxAcc |
Definition at line 90 of file fixturesMCS.h.
Definition at line 151 of file fixturesMCS.h.
References ctx, papAspCtxAcc, and ModuleHexParser::parse().
Definition at line 97 of file fixturesMCS.h.
dlvhex::ProgramCtx ProgramMCSMedDProgramCtxFixture::ctx |
Definition at line 93 of file fixturesMCS.h.
Referenced by ProgramMCSMedDProgramCtxFixture().
Definition at line 94 of file fixturesMCS.h.
Referenced by ProgramMCSMedDProgramCtxFixture().
std::string ProgramMCSMedDProgramCtxFixture::program |
Definition at line 92 of file fixturesMCS.h.