testsuite/fixturesExt1.h File Reference

Interface for testing fixtures related to sample program from Roman's thesis. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ComponentGraph.h"
#include "dlvhex2/DependencyGraph.h"
#include "dlvhex2/InputProvider.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Interpretation.h"
#include "fixturesDepgraphCompgraphGeneric.h"
#include <boost/foreach.hpp>

Include dependency graph for fixturesExt1.h:

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

Go to the source code of this file.

Data Structures
class	TestPluginAtomCount
class	TestPluginAtomReach
struct	ProgramExt1ProgramCtxFixture
Typedefs
typedef GenericDepGraphFixture < ProgramExt1ProgramCtxFixture >	ProgramExt1ProgramCtxDependencyGraphFixture
typedef GenericDepGraphCompGraphFixture < ProgramExt1ProgramCtxFixture >	ProgramExt1ProgramCtxDependencyGraphComponentGraphFixture

---

Detailed Description

Interface for testing fixtures related to sample program from Roman's thesis.

Author:

Peter Schueller <[email protected]>

This program is: item(X) :- part(X). edge(Y) :- foo(Y). num(N) :- &count[item](N). reached(X) :- &reach[N,edge](X), startnode(N).

Definition in file fixturesExt1.h.

---

Typedef Documentation

typedef GenericDepGraphCompGraphFixture<ProgramExt1ProgramCtxFixture> ProgramExt1ProgramCtxDependencyGraphComponentGraphFixture

Definition at line 224 of file fixturesExt1.h.

typedef GenericDepGraphFixture<ProgramExt1ProgramCtxFixture> ProgramExt1ProgramCtxDependencyGraphFixture

Definition at line 222 of file fixturesExt1.h.