dlvhex
2.5.0
|
Interface of testing fixture for unit testing example 1. More...
#include "dummytypes.h"
Go to the source code of this file.
Data Structures | |
struct | EvalGraphEx1Fixture |
Interface of testing fixture for unit testing example 1.
This graph is useful for debugging CAUs and recursive model iteration.
Definition in file fixtureEx1.h.