Public Types | |
| typedef EvalHeuristicBase < EvalGraphBuilder > | Base |
Public Member Functions | |
| EvalHeuristicFromHEXSourcecode () | |
| virtual | ~EvalHeuristicFromHEXSourcecode () |
| virtual void | build (EvalGraphBuilder &builder) |
| Constructs the evaluation graph. | |
Protected Member Functions | |
| virtual void | preprocessComponents (EvalGraphBuilder &builder) |
Detailed Description
Definition at line 72 of file ManualEvalHeuristicsPlugin.cpp.
Member Typedef Documentation
| typedef EvalHeuristicBase<EvalGraphBuilder> DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::Base |
Definition at line 77 of file ManualEvalHeuristicsPlugin.cpp.
Constructor & Destructor Documentation
Definition at line 81 of file ManualEvalHeuristicsPlugin.cpp.
| virtual DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::~EvalHeuristicFromHEXSourcecode | ( | ) | [inline, virtual] |
Definition at line 82 of file ManualEvalHeuristicsPlugin.cpp.
Member Function Documentation
| void DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::build | ( | EvalGraphBuilder & | builder | ) | [virtual] |
Constructs the evaluation graph.
- Parameters:
-
builder EvalGraphBuilder to be used for constructing the evaluation graph.
Implements EvalHeuristicBase< EvalGraphBuilder >.
Definition at line 190 of file ManualEvalHeuristicsPlugin.cpp.
References ID::address, ComponentGraph::collapseComponents(), EvalGraphBuilder::createEvalUnit(), DBGLOG, EvalGraphBuilder::getComponentGraph(), ComponentGraph::getComponentInfo(), ComponentGraph::getComponents(), ComponentGraph::getDependencies(), ComponentGraph::getInternalGraph(), ProgramCtx::getPluginData(), EvalGraphBuilder::getProgramCtx(), ComponentGraph::getProvides(), Rule::head, ID_FAIL(), ComponentGraph::ComponentInfo::innerConstraints, ComponentGraph::ComponentInfo::innerRules, ManualEvalHeuristicsPlugin::CtxData::instructions, ID::isExternalInputAuxiliary(), ID::isOrdinaryNongroundAtom(), ManualEvalHeuristicsPlugin::CtxData::lastUserRuleID, LOG, printrange(), printset(), EvalGraphBuilder::registry(), ComponentGraph::sourceOf(), ComponentGraph::targetOf(), evalheur::topologicalSortComponents(), and Atom::tuple.
| void DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::preprocessComponents | ( | EvalGraphBuilder & | builder | ) | [protected, virtual] |
Definition at line 92 of file ManualEvalHeuristicsPlugin.cpp.
References ComponentGraph::collapseComponents(), DBGLOG, EvalGraphBuilder::getComponentGraph(), ComponentGraph::getComponents(), ComponentGraph::getProvides(), ComponentGraph::ComponentInfo::innerConstraints, ComponentGraph::ComponentInfo::innerRules, LOG, printrange(), ComponentGraph::propsOf(), EvalGraphBuilder::registry(), and ComponentGraph::sourceOf().
The documentation for this class was generated from the following file:
