dlvhex  2.5.0
Public Member Functions | Data Fields
ConditionalLiteralPlugin::CtxData Class Reference

#include <include/dlvhex2/ConditionalLiteralPlugin.h>

Inheritance diagram for ConditionalLiteralPlugin::CtxData:
Inheritance graph
[legend]
Collaboration diagram for ConditionalLiteralPlugin::CtxData:
Collaboration graph
[legend]

Public Member Functions

 CtxData ()
virtual ~CtxData ()

Data Fields

bool enabled
 Stores if plugin is enabled.

Detailed Description

Definition at line 49 of file ConditionalLiteralPlugin.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN ConditionalLiteralPlugin::CtxData::CtxData ( )

Definition at line 61 of file ConditionalLiteralPlugin.cpp.

virtual ConditionalLiteralPlugin::CtxData::~CtxData ( ) [inline, virtual]

Definition at line 57 of file ConditionalLiteralPlugin.h.

Field Documentation

bool ConditionalLiteralPlugin::CtxData::enabled

Stores if plugin is enabled.

Definition at line 54 of file ConditionalLiteralPlugin.h.

Referenced by ConditionalLiteralPlugin::createParserModules(), ConditionalLiteralPlugin::processOptions(), and ConditionalLiteralPlugin::setupProgramCtx().

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