dlvhex  2.5.0
testsuite/fixtureE1.cpp File Reference

Implementation of testing fixtures related to sample graph ${E}_1$. More...

#include "fixtureE1.h"
#include <boost/test/unit_test.hpp>
Include dependency graph for fixtureE1.cpp:

Go to the source code of this file.


Detailed Description

Implementation of testing fixtures related to sample graph ${E}_1$.

Author:
Peter Schueller <[email protected]>

Definition in file fixtureE1.cpp.