dlvhex
2.5.0
|
#include <testsuite/fixturesDepgraphCompgraphGeneric.h>
Public Types | |
typedef ProgramCtxFixtureT | Base |
Public Member Functions | |
GenericDepGraphFixture () | |
~GenericDepGraphFixture () | |
Data Fields | |
std::vector< dlvhex::ID > | auxRules |
dlvhex::DependencyGraph | depgraph |
Definition at line 37 of file fixturesDepgraphCompgraphGeneric.h.
typedef ProgramCtxFixtureT GenericDepGraphFixture< ProgramCtxFixtureT >::Base |
Reimplemented in GenericDepGraphCompGraphFixture< ProgramCtxFixtureT >.
Definition at line 40 of file fixturesDepgraphCompgraphGeneric.h.
GenericDepGraphFixture< ProgramCtxFixtureT >::GenericDepGraphFixture | ( | ) | [inline] |
Definition at line 45 of file fixturesDepgraphCompgraphGeneric.h.
References GenericDepGraphFixture< ProgramCtxFixtureT >::auxRules, and GenericDepGraphFixture< ProgramCtxFixtureT >::depgraph.
GenericDepGraphFixture< ProgramCtxFixtureT >::~GenericDepGraphFixture | ( | ) | [inline] |
Definition at line 50 of file fixturesDepgraphCompgraphGeneric.h.
std::vector<dlvhex::ID> GenericDepGraphFixture< ProgramCtxFixtureT >::auxRules |
Definition at line 42 of file fixturesDepgraphCompgraphGeneric.h.
Referenced by GenericDepGraphFixture< ProgramCtxFixtureT >::GenericDepGraphFixture().
dlvhex::DependencyGraph GenericDepGraphFixture< ProgramCtxFixtureT >::depgraph |
Definition at line 43 of file fixturesDepgraphCompgraphGeneric.h.
Referenced by GenericDepGraphFixture< ProgramCtxFixtureT >::GenericDepGraphFixture().