dlvhex  2.5.0
ProgramExt1ProgramCtxFixture Struct Reference

#include <testsuite/fixturesExt1.h>

Collaboration diagram for ProgramExt1ProgramCtxFixture:

Public Member Functions

 ProgramExt1ProgramCtxFixture ()
 ~ProgramExt1ProgramCtxFixture ()

Data Fields

std::string program
dlvhex::ProgramCtx ctx
dlvhex::PluginAtomPtr papCount
dlvhex::PluginAtomPtr papReach

Detailed Description

Definition at line 210 of file fixturesExt1.h.


Constructor & Destructor Documentation


Field Documentation

Definition at line 213 of file fixturesExt1.h.

Referenced by ProgramExt1ProgramCtxFixture().

Definition at line 212 of file fixturesExt1.h.


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