dlvhex  2.5.0
Public Types | Public Member Functions
EvalHeuristicOldDlvhex Class Reference

Creates evaluation units as maximal bottoms as in dlvhex 1.x. More...

#include <include/dlvhex2/EvalHeuristicOldDlvhex.h>

Inheritance diagram for EvalHeuristicOldDlvhex:
Inheritance graph
[legend]
Collaboration diagram for EvalHeuristicOldDlvhex:
Collaboration graph
[legend]

Public Types

typedef EvalHeuristicBase
< EvalGraphBuilder > 		Base

Public Member Functions

 EvalHeuristicOldDlvhex ()
 Constructor.
virtual ~EvalHeuristicOldDlvhex ()
 Destructor.
virtual void build (EvalGraphBuilder &builder)
 Constructs the evaluation graph.

Detailed Description

Creates evaluation units as maximal bottoms as in dlvhex 1.x.

Definition at line 43 of file EvalHeuristicOldDlvhex.h.

Member Typedef Documentation

typedef EvalHeuristicBase<EvalGraphBuilder> EvalHeuristicOldDlvhex::Base

Definition at line 48 of file EvalHeuristicOldDlvhex.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN EvalHeuristicOldDlvhex::EvalHeuristicOldDlvhex ( )

Constructor.

Definition at line 50 of file EvalHeuristicOldDlvhex.cpp.

EvalHeuristicOldDlvhex::~EvalHeuristicOldDlvhex ( ) [virtual]

Destructor.

Definition at line 56 of file EvalHeuristicOldDlvhex.cpp.

Member Function Documentation

void EvalHeuristicOldDlvhex::build ( EvalGraphBuilder &  builder) [virtual]

Constructs the evaluation graph.

Parameters:
builderEvalGraphBuilder to be used for constructing the evaluation graph.

Implements EvalHeuristicBase< EvalGraphBuilder >.

Definition at line 82 of file EvalHeuristicOldDlvhex.cpp.

References EvalGraphBuilder::createEvalUnit(), DBGLOG, EvalGraphBuilder::getComponentForUnit(), EvalGraphBuilder::getComponentGraph(), ComponentGraph::getDependencies(), ComponentGraph::getInternalGraph(), LOG, ComponentGraph::ComponentInfo::outerEatoms, printrange(), ComponentGraph::propsOf(), ComponentGraph::targetOf(), and evalheur::topologicalSortComponents().

Referenced by BOOST_FIXTURE_TEST_CASE(), and main().

The documentation for this class was generated from the following files: