dlvhex  2.5.0
Public Types | Public Member Functions
EvalHeuristicEasy Class Reference

Default heuristics in dlvhex 2.0 as described in the LPNMR'11 paper. More...

#include <include/dlvhex2/EvalHeuristicEasy.h>

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

Public Types

typedef EvalHeuristicBase
< EvalGraphBuilder > 		Base

Public Member Functions

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

Detailed Description

Default heuristics in dlvhex 2.0 as described in the LPNMR'11 paper.

Definition at line 43 of file EvalHeuristicEasy.h.

Member Typedef Documentation

typedef EvalHeuristicBase<EvalGraphBuilder> EvalHeuristicEasy::Base

Definition at line 48 of file EvalHeuristicEasy.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN EvalHeuristicEasy::EvalHeuristicEasy ( )

Constructor.

Definition at line 50 of file EvalHeuristicEasy.cpp.

EvalHeuristicEasy::~EvalHeuristicEasy ( ) [virtual]

Destructor.

Definition at line 56 of file EvalHeuristicEasy.cpp.

Member Function Documentation

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

Constructs the evaluation graph.

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

Implements EvalHeuristicBase< EvalGraphBuilder >.

Definition at line 118 of file EvalHeuristicEasy.cpp.

References ComponentGraph::collapseComponents(), EvalGraphBuilder::createEvalUnit(), DBGLOG, EvalGraphBuilder::getComponentGraph(), ComponentGraph::getComponents(), ComponentGraph::getDependencies(), ComponentGraph::getInternalGraph(), ComponentGraph::getProvides(), ComponentGraph::ComponentInfo::innerRules, LOG, ComponentGraph::ComponentInfo::outerEatoms, printrange(), ComponentGraph::propsOf(), ComponentGraph::sourceOf(), ComponentGraph::targetOf(), evalheur::topologicalSortComponents(), and internal::transitivePredecessorComponents().

Referenced by main().

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