dlvhex  2.5.0
ProgramMCSMedDProgramCtxFixture Struct Reference

#include <testsuite/fixturesMCS.h>

Collaboration diagram for ProgramMCSMedDProgramCtxFixture:

Public Member Functions

 ProgramMCSMedDProgramCtxFixture ()
 ~ProgramMCSMedDProgramCtxFixture ()

Data Fields

std::string program
dlvhex::ProgramCtx ctx
dlvhex::PluginAtomPtr papAspCtxAcc

Detailed Description

Definition at line 90 of file fixturesMCS.h.


Constructor & Destructor Documentation


Field Documentation

Definition at line 93 of file fixturesMCS.h.

Referenced by ProgramMCSMedDProgramCtxFixture().

Definition at line 92 of file fixturesMCS.h.


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