testsuite/fixturesMCS.h File Reference

Interface for testing fixtures related to MCS-IE. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ComponentGraph.h"
#include "dlvhex2/DependencyGraph.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/InputProvider.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/PluginInterface.h"
#include "fixturesDepgraphCompgraphGeneric.h"

Include dependency graph for fixturesMCS.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	TestPluginAspCtxAcc
struct	ProgramMCSMedEQProgramCtxFixture
struct	ProgramMCSMedDProgramCtxFixture
Typedefs
typedef GenericDepGraphFixture < ProgramMCSMedEQProgramCtxFixture >	ProgramMCSMedEQProgramCtxDependencyGraphFixture
typedef GenericDepGraphCompGraphFixture < ProgramMCSMedEQProgramCtxFixture >	ProgramMCSMedEQProgramCtxDependencyGraphComponentGraphFixture
typedef GenericDepGraphFixture < ProgramMCSMedDProgramCtxFixture >	ProgramMCSMedDProgramCtxDependencyGraphFixture
typedef GenericDepGraphCompGraphFixture < ProgramMCSMedDProgramCtxFixture >	ProgramMCSMedDProgramCtxDependencyGraphComponentGraphFixture

---

Detailed Description

Interface for testing fixtures related to MCS-IE.

Author:

Peter Schueller <ps@kr.tuwien.ac.at>

Here we provide two slightly modified encodings from the medical example: calculating equilibria using KR2010 encoding, and calculating diagnoses using KR2010 encoding. The modification is the addition of two extra rules without external atoms that form an SCC.

Definition in file fixturesMCS.h.

---

Typedef Documentation

typedef GenericDepGraphCompGraphFixture<ProgramMCSMedDProgramCtxFixture> ProgramMCSMedDProgramCtxDependencyGraphComponentGraphFixture

Definition at line 103 of file fixturesMCS.h.

typedef GenericDepGraphFixture<ProgramMCSMedDProgramCtxFixture> ProgramMCSMedDProgramCtxDependencyGraphFixture

Definition at line 101 of file fixturesMCS.h.

typedef GenericDepGraphCompGraphFixture<ProgramMCSMedEQProgramCtxFixture> ProgramMCSMedEQProgramCtxDependencyGraphComponentGraphFixture

Definition at line 85 of file fixturesMCS.h.

typedef GenericDepGraphFixture<ProgramMCSMedEQProgramCtxFixture> ProgramMCSMedEQProgramCtxDependencyGraphFixture

Definition at line 83 of file fixturesMCS.h.