Template for offline model building of a ModelGraph based on an EvalGraph. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/OnlineModelBuilder.h"
#include "dlvhex2/CAUAlgorithms.h"

Include dependency graph for OfflineModelBuilder.h:

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

Data Structures
class	OfflineModelBuilder< EvalGraphT >
	Template for offline model building of a ModelGraph based on an EvalGraph. More...
struct	OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties
	Properties of offline model building. More...

Detailed Description

Template for offline model building of a ModelGraph based on an EvalGraph.

Data Structures