dlvhex
2.5.0
|
#include <testsuite/fixturesExt1.h>
Public Member Functions | |
ProgramExt1ProgramCtxFixture () | |
~ProgramExt1ProgramCtxFixture () | |
Data Fields | |
std::string | program |
dlvhex::ProgramCtx | ctx |
dlvhex::PluginAtomPtr | papCount |
dlvhex::PluginAtomPtr | papReach |
Definition at line 210 of file fixturesExt1.h.
Definition at line 230 of file fixturesExt1.h.
References ctx, papCount, papReach, and ModuleHexParser::parse().
Definition at line 218 of file fixturesExt1.h.
dlvhex::ProgramCtx ProgramExt1ProgramCtxFixture::ctx |
Definition at line 213 of file fixturesExt1.h.
Referenced by ProgramExt1ProgramCtxFixture().
Definition at line 214 of file fixturesExt1.h.
Referenced by ProgramExt1ProgramCtxFixture().
Definition at line 215 of file fixturesExt1.h.
Referenced by ProgramExt1ProgramCtxFixture().
std::string ProgramExt1ProgramCtxFixture::program |
Definition at line 212 of file fixturesExt1.h.