ModelBuilderConfig< EvalGraphT > Struct Template Reference

Generic configuration for all model builders. More...

#include <include/dlvhex2/ModelBuilder.h>

Public Member Functions
	ModelBuilderConfig (EvalGraphT &eg)
	Constructor.
Data Fields
EvalGraphT &	eg
	Evaluation graph to use for model building.
bool	redundancyElimination
	True to optimize redundant parts in the model building process.
bool	constantSpace
	True to work with constant space.

---

Detailed Description

template<typename EvalGraphT>
struct ModelBuilderConfig< EvalGraphT >

Generic configuration for all model builders.

Definition at line 45 of file ModelBuilder.h.

---

Constructor & Destructor Documentation

template<typename EvalGraphT>

ModelBuilderConfig< EvalGraphT >::ModelBuilderConfig

(

EvalGraphT &

eg

)

[inline]

Constructor.

Parameters:

eg	See ModelBuilderConfig::eg.

Definition at line 49 of file ModelBuilder.h.

---

Field Documentation

template<typename EvalGraphT>

bool ModelBuilderConfig< EvalGraphT >::constantSpace

True to work with constant space.

Definition at line 56 of file ModelBuilder.h.

template<typename EvalGraphT>

EvalGraphT& ModelBuilderConfig< EvalGraphT >::eg

Evaluation graph to use for model building.

Definition at line 52 of file ModelBuilder.h.

Referenced by OfflineModelBuilder< EvalGraphT >::OfflineModelBuilder(), and OnlineModelBuilder< EvalGraphT >::OnlineModelBuilder().

template<typename EvalGraphT>

bool ModelBuilderConfig< EvalGraphT >::redundancyElimination

True to optimize redundant parts in the model building process.

Definition at line 54 of file ModelBuilder.h.

---

The documentation for this struct was generated from the following file:

• include/dlvhex2/ModelBuilder.h