QueryPlugin::CtxData Class Reference

#include <include/dlvhex2/QueryPlugin.h>

Inheritance diagram for QueryPlugin::CtxData:

Collaboration diagram for QueryPlugin::CtxData:

Public Types
enum	Mode { DEFAULT, BRAVE, CAUTIOUS }
	Available reasoning modes. More...
Public Member Functions
	CtxData ()
virtual	~CtxData ()
Data Fields
bool	enabled
	Stores if plugin is enabled.
Mode	mode
	Selected reasoning mode.
bool	ground
	True for ground queries, false for nonground.
Tuple	query
	The query (contains body literals).
ID	varAuxPred
	Auxiliary predicate symbols for nonground query evaluation.
ID	novarAuxPred
	Auxiliary predicate symbols for ground query evaluation.
Tuple	variableIDs
	IDs of variables as they occur in auxiliary nonground predicate.
bool	allWitnesses
	Whether to display all witnesses for ground queries.

---

Detailed Description

Definition at line 48 of file QueryPlugin.h.

---

Member Enumeration Documentation

enum QueryPlugin::CtxData::Mode

Available reasoning modes.

at the moment DEFAULT triggers an error, so the user _must_ choose a reasoning mode.

Enumerator:

DEFAULT
BRAVE	Brave reasoning.
CAUTIOUS	Cautious reasoning.

Definition at line 59 of file QueryPlugin.h.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN QueryPlugin::CtxData::CtxData

(

)

Definition at line 59 of file QueryPlugin.cpp.

virtual QueryPlugin::CtxData::~CtxData

(

)

[inline, virtual]

Definition at line 92 of file QueryPlugin.h.

---

Field Documentation

bool QueryPlugin::CtxData::allWitnesses

Whether to display all witnesses for ground queries.

Positive witnesses for brave and negative for cautious reasoning.

Definition at line 89 of file QueryPlugin.h.

Referenced by sem< QueryParserModuleSemantics::queryBody >::operator()(), QueryPlugin::processOptions(), and QueryPlugin::setupProgramCtx().

bool QueryPlugin::CtxData::enabled

Stores if plugin is enabled.

Definition at line 53 of file QueryPlugin.h.

Referenced by QueryPlugin::createParserModules(), QueryPlugin::createRewriter(), QueryPlugin::processOptions(), and QueryPlugin::setupProgramCtx().

bool QueryPlugin::CtxData::ground

True for ground queries, false for nonground.

Definition at line 71 of file QueryPlugin.h.

Referenced by sem< QueryParserModuleSemantics::queryBody >::operator()(), and QueryPlugin::setupProgramCtx().

Mode QueryPlugin::CtxData::mode

Selected reasoning mode.

Definition at line 68 of file QueryPlugin.h.

Referenced by QueryPlugin::processOptions(), and QueryPlugin::setupProgramCtx().

ID QueryPlugin::CtxData::novarAuxPred

Auxiliary predicate symbols for ground query evaluation.

Definition at line 81 of file QueryPlugin.h.

Tuple QueryPlugin::CtxData::query

The query (contains body literals).

This is not directly stored into IDB or EDB.

Definition at line 76 of file QueryPlugin.h.

Referenced by sem< QueryParserModuleSemantics::queryBody >::operator()(), and QueryPlugin::setupProgramCtx().

ID QueryPlugin::CtxData::varAuxPred

Auxiliary predicate symbols for nonground query evaluation.

Definition at line 79 of file QueryPlugin.h.

Tuple QueryPlugin::CtxData::variableIDs

IDs of variables as they occur in auxiliary nonground predicate.

Definition at line 84 of file QueryPlugin.h.

---

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

• include/dlvhex2/QueryPlugin.h
• src/QueryPlugin.cpp