dlvhex  2.5.0
Public Types | Public Member Functions | Data Fields
EvalUnitModelGeneratorFactoryProperties< InterpretationT > Struct Template Reference

Model generator factory properties for eval units such properties are required by model builders. More...

#include <include/dlvhex2/ModelGenerator.h>

Inheritance diagram for EvalUnitModelGeneratorFactoryProperties< InterpretationT >:
Inheritance graph
[legend]
Collaboration diagram for EvalUnitModelGeneratorFactoryProperties< InterpretationT >:
Collaboration graph
[legend]

Public Types

typedef InterpretationT Interpretation

Public Member Functions

 BOOST_CONCEPT_ASSERT ((boost::Convertible< InterpretationT, InterpretationBase >))
virtual std::ostream & print (std::ostream &o) const

Data Fields

ModelGeneratorFactoryBase
< InterpretationT >::Ptr 		mgf

Detailed Description

template<typename InterpretationT>
struct EvalUnitModelGeneratorFactoryProperties< InterpretationT >

Model generator factory properties for eval units such properties are required by model builders.

Definition at line 171 of file ModelGenerator.h.

Member Typedef Documentation

template<typename InterpretationT>
typedef InterpretationT EvalUnitModelGeneratorFactoryProperties< InterpretationT >::Interpretation

Definition at line 175 of file ModelGenerator.h.

Member Function Documentation

template<typename InterpretationT>
EvalUnitModelGeneratorFactoryProperties< InterpretationT >::BOOST_CONCEPT_ASSERT ( (boost::Convertible< InterpretationT, InterpretationBase >)  )
template<typename InterpretationT>
virtual std::ostream& EvalUnitModelGeneratorFactoryProperties< InterpretationT >::print ( std::ostream &  o) const [inline, virtual]

Reimplemented in FinalEvalUnitPropertyBase.

Definition at line 182 of file ModelGenerator.h.

Field Documentation

template<typename InterpretationT>
ModelGeneratorFactoryBase<InterpretationT>::Ptr EvalUnitModelGeneratorFactoryProperties< InterpretationT >::mgf

Definition at line 179 of file ModelGenerator.h.

Referenced by EvalUnitModelGeneratorFactoryProperties< Interpretation >::print().

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