dlvhex
2.5.0
|
Base class for all model builders. More...
#include <include/dlvhex2/ModelBuilder.h>
Data Structures | |
struct | ModelProperties |
Properties of a model. More... | |
Public Types | |
typedef ModelBuilder< EvalGraphT > | Self |
typedef EvalGraphT | MyEvalGraph |
typedef MyEvalGraph::EvalUnit | EvalUnit |
typedef EvalGraphT::EvalUnitPropertyBundle | EvalUnitPropertyBundle |
typedef EvalUnitPropertyBundle::Interpretation | Interpretation |
typedef EvalUnitPropertyBundle::Interpretation::Ptr | InterpretationPtr |
typedef ModelGraph< EvalGraphT, ModelProperties > | MyModelGraph |
typedef MyModelGraph::Model | Model |
typedef boost::optional< Model > | OptionalModel |
Public Member Functions | |
BOOST_CONCEPT_ASSERT ((boost::Convertible< EvalGraphT, EvalGraph< typename EvalGraphT::EvalUnitPropertyBase, typename EvalGraphT::EvalUnitDepPropertyBase > >)) | |
BOOST_CONCEPT_ASSERT ((boost::Convertible< typename EvalGraphT::EvalUnitPropertyBundle, EvalUnitModelGeneratorFactoryProperties< typename EvalGraphT::EvalUnitPropertyBundle::Interpretation > >)) | |
ModelBuilder (ModelBuilderConfig< EvalGraphT > &cfg) | |
Constructor. | |
virtual | ~ModelBuilder () |
Destructor. | |
EvalGraphT & | getEvalGraph () |
Returns the internal evaluation graph. | |
MyModelGraph & | getModelGraph () |
Returns the internal model graph. | |
virtual OptionalModel | getNextIModel (EvalUnit u)=0 |
Get next input model (projected if projection is configured) at e given unit. | |
virtual OptionalModel | getNextOModel (EvalUnit u)=0 |
Get next output model (projected if projection is configured) at e given unit. | |
virtual void | printEvalGraphModelGraph (std::ostream &o)=0 |
Prints both the evaluation and the model graph for debugging purposes. | |
virtual void | printModelBuildingPropertyMap (std::ostream &o)=0 |
Prints the model building properties for debugging purposes. | |
Protected Attributes | |
EvalGraphT & | eg |
Evaluation graph to use. | |
MyModelGraph | mg |
Model graph to be constructed during model building. |
Base class for all model builders.
Definition at line 61 of file ModelBuilder.h.
typedef MyEvalGraph::EvalUnit ModelBuilder< EvalGraphT >::EvalUnit |
Reimplemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
Definition at line 77 of file ModelBuilder.h.
typedef EvalGraphT::EvalUnitPropertyBundle ModelBuilder< EvalGraphT >::EvalUnitPropertyBundle |
Reimplemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
Definition at line 85 of file ModelBuilder.h.
typedef EvalUnitPropertyBundle::Interpretation ModelBuilder< EvalGraphT >::Interpretation |
Reimplemented in OnlineModelBuilder< EvalGraphT >.
Definition at line 88 of file ModelBuilder.h.
typedef EvalUnitPropertyBundle::Interpretation::Ptr ModelBuilder< EvalGraphT >::InterpretationPtr |
Reimplemented in OnlineModelBuilder< EvalGraphT >.
Definition at line 90 of file ModelBuilder.h.
typedef MyModelGraph::Model ModelBuilder< EvalGraphT >::Model |
Reimplemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
Definition at line 116 of file ModelBuilder.h.
typedef EvalGraphT ModelBuilder< EvalGraphT >::MyEvalGraph |
Reimplemented in OnlineModelBuilder< EvalGraphT >.
Definition at line 75 of file ModelBuilder.h.
typedef ModelGraph<EvalGraphT, ModelProperties> ModelBuilder< EvalGraphT >::MyModelGraph |
Reimplemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
Definition at line 114 of file ModelBuilder.h.
typedef boost::optional<Model> ModelBuilder< EvalGraphT >::OptionalModel |
Reimplemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
Definition at line 118 of file ModelBuilder.h.
typedef ModelBuilder<EvalGraphT> ModelBuilder< EvalGraphT >::Self |
Reimplemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
Definition at line 66 of file ModelBuilder.h.
ModelBuilder< EvalGraphT >::ModelBuilder | ( | ModelBuilderConfig< EvalGraphT > & | cfg | ) | [inline] |
virtual ModelBuilder< EvalGraphT >::~ModelBuilder | ( | ) | [inline, virtual] |
Destructor.
Definition at line 134 of file ModelBuilder.h.
ModelBuilder< EvalGraphT >::BOOST_CONCEPT_ASSERT | ( | (boost::Convertible< EvalGraphT, EvalGraph< typename EvalGraphT::EvalUnitPropertyBase, typename EvalGraphT::EvalUnitDepPropertyBase > >) | ) |
ModelBuilder< EvalGraphT >::BOOST_CONCEPT_ASSERT | ( | (boost::Convertible< typename EvalGraphT::EvalUnitPropertyBundle, EvalUnitModelGeneratorFactoryProperties< typename EvalGraphT::EvalUnitPropertyBundle::Interpretation > >) | ) |
EvalGraphT& ModelBuilder< EvalGraphT >::getEvalGraph | ( | ) | [inline] |
Returns the internal evaluation graph.
Reimplemented in OfflineModelBuilder< EvalGraphT >.
Definition at line 137 of file ModelBuilder.h.
References ModelBuilder< EvalGraphT >::eg.
Referenced by OfflineModelBuilder< EvalGraphT >::getEvalGraph(), and main().
MyModelGraph& ModelBuilder< EvalGraphT >::getModelGraph | ( | ) | [inline] |
Returns the internal model graph.
Reimplemented in OfflineModelBuilder< EvalGraphT >.
Definition at line 140 of file ModelBuilder.h.
References ModelBuilder< EvalGraphT >::mg.
Referenced by BOOST_FIXTURE_TEST_CASE(), OfflineModelBuilder< EvalGraphT >::getModelGraph(), and main().
virtual OptionalModel ModelBuilder< EvalGraphT >::getNextIModel | ( | EvalUnit | u | ) | [pure virtual] |
Get next input model (projected if projection is configured) at e given unit.
u | The unit whose next input model shall be returned. |
u
. Implemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
virtual OptionalModel ModelBuilder< EvalGraphT >::getNextOModel | ( | EvalUnit | u | ) | [pure virtual] |
Get next output model (projected if projection is configured) at e given unit.
u | The unit whose next output model shall be returned. |
u
. Implemented in OnlineModelBuilder< EvalGraphT >.
virtual void ModelBuilder< EvalGraphT >::printEvalGraphModelGraph | ( | std::ostream & | o | ) | [pure virtual] |
Prints both the evaluation and the model graph for debugging purposes.
o | The stream to print to. |
Implemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
virtual void ModelBuilder< EvalGraphT >::printModelBuildingPropertyMap | ( | std::ostream & | o | ) | [pure virtual] |
Prints the model building properties for debugging purposes.
o | The stream to print to. |
Implemented in OnlineModelBuilder< EvalGraphT >, and OfflineModelBuilder< EvalGraphT >.
EvalGraphT& ModelBuilder< EvalGraphT >::eg [protected] |
Evaluation graph to use.
Definition at line 123 of file ModelBuilder.h.
Referenced by OnlineModelBuilder< EvalGraphT >::EvalGraphObserver::addDependency(), ModelBuilder< EvalGraphT >::getEvalGraph(), OfflineModelBuilder< EvalGraphT >::OfflineModelBuilder(), and OnlineModelBuilder< EvalGraphT >::OnlineModelBuilder().
MyModelGraph ModelBuilder< EvalGraphT >::mg [protected] |
Model graph to be constructed during model building.
Definition at line 125 of file ModelBuilder.h.
Referenced by OnlineModelBuilder< EvalGraphT >::clearIModel(), OnlineModelBuilder< EvalGraphT >::clearOModel(), ModelBuilder< EvalGraphT >::getModelGraph(), OnlineModelBuilder< EvalGraphT >::getOModel(), and OnlineModelBuilder< EvalGraphT >::printEUMBPhelper().