ModelBuilder< EvalGraphT >::ModelProperties Struct Reference

Properties of a model. More...

#include <include/dlvhex2/ModelBuilder.h>

Public Member Functions
	ModelProperties ()
	Constructor.
std::ostream &	print (std::ostream &o) const
	Prints this properties strcture.
Data Fields
InterpretationPtr	interpretation
	The interpretation data of this model.
bool	dummy
	Whether this model is an input dummy for a root eval unit.
bool	childModelsGenerated
	Whether we already tried to create all output models for this (MT_IN/MT_INPROJ) model.

---

Detailed Description

template<typename EvalGraphT>
struct ModelBuilder< EvalGraphT >::ModelProperties

Properties of a model.

Definition at line 93 of file ModelBuilder.h.

---

Constructor & Destructor Documentation

template<typename EvalGraphT >

ModelBuilder< EvalGraphT >::ModelProperties::ModelProperties

(

)

Constructor.

Definition at line 164 of file ModelBuilder.h.

---

Member Function Documentation

template<typename EvalGraphT >

std::ostream & ModelBuilder< EvalGraphT >::ModelProperties::print

(

std::ostream &

o

)

const

Prints this properties strcture.

Parameters:

o	Stream to print to.

Returns:

o.

Definition at line 174 of file ModelBuilder.h.

References printptr().

---

Field Documentation

template<typename EvalGraphT>

bool ModelBuilder< EvalGraphT >::ModelProperties::childModelsGenerated

Whether we already tried to create all output models for this (MT_IN/MT_INPROJ) model.

Definition at line 103 of file ModelBuilder.h.

template<typename EvalGraphT>

bool ModelBuilder< EvalGraphT >::ModelProperties::dummy

Whether this model is an input dummy for a root eval unit.

Definition at line 101 of file ModelBuilder.h.

template<typename EvalGraphT>

InterpretationPtr ModelBuilder< EvalGraphT >::ModelProperties::interpretation

The interpretation data of this model.

Definition at line 96 of file ModelBuilder.h.

---

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

• include/dlvhex2/ModelBuilder.h