#include <include/dlvhex2/ManualEvalHeuristicsPlugin.h>
Public Types | |
| typedef std::pair< ID, unsigned > | UnitInstruction |
| typedef std::list < UnitInstruction > | InstructionList |
Public Member Functions | |
| CtxData () | |
| virtual | ~CtxData () |
Data Fields | |
| bool | enabled |
| Stores if plugin is enabled. | |
| ID | lastUserRuleID |
| ID of last rule in input (other rules are auxiliary, created by hex or plugins). | |
| unsigned | currentUnit |
| Running index used during parsing (rules of which unit are we currently parsing). | |
| InstructionList | instructions |
| Maximum rule id parsed is stored for each unit instruction. | |
Detailed Description
Definition at line 48 of file ManualEvalHeuristicsPlugin.h.
Member Typedef Documentation
| typedef std::list<UnitInstruction> ManualEvalHeuristicsPlugin::CtxData::InstructionList |
Definition at line 65 of file ManualEvalHeuristicsPlugin.h.
| typedef std::pair<ID,unsigned> ManualEvalHeuristicsPlugin::CtxData::UnitInstruction |
Definition at line 64 of file ManualEvalHeuristicsPlugin.h.
Constructor & Destructor Documentation
Definition at line 454 of file ManualEvalHeuristicsPlugin.cpp.
| virtual ManualEvalHeuristicsPlugin::CtxData::~CtxData | ( | ) | [inline, virtual] |
Definition at line 73 of file ManualEvalHeuristicsPlugin.h.
Field Documentation
Running index used during parsing (rules of which unit are we currently parsing).
Assumption: parser processes rules in input and plugin understandable instructions sequentially.
Definition at line 62 of file ManualEvalHeuristicsPlugin.h.
Referenced by sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >::operator()().
Stores if plugin is enabled.
Definition at line 53 of file ManualEvalHeuristicsPlugin.h.
Referenced by ManualEvalHeuristicsPlugin::createParserModules(), ManualEvalHeuristicsPlugin::createRewriter(), and ManualEvalHeuristicsPlugin::processOptions().
Maximum rule id parsed is stored for each unit instruction.
The ID might be ID_FAIL which means that no rule comes before that, i.e., the first instruction in a file was #evalunit(...).
Definition at line 70 of file ManualEvalHeuristicsPlugin.h.
Referenced by DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::build(), and sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >::operator()().
ID of last rule in input (other rules are auxiliary, created by hex or plugins).
Definition at line 56 of file ManualEvalHeuristicsPlugin.h.
Referenced by DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::build().
The documentation for this class was generated from the following files:
- include/dlvhex2/ManualEvalHeuristicsPlugin.h
- src/ManualEvalHeuristicsPlugin.cpp
