AggregatePlugin::CtxData Class Reference

#include <include/dlvhex2/AggregatePlugin.h>

Inheritance diagram for AggregatePlugin::CtxData:

Collaboration diagram for AggregatePlugin::CtxData:

Public Types
enum	Mode { ExtRewrite, ExtBlRewrite, Simplify }
	Supported plugin modes. More...
Public Member Functions
	CtxData ()
virtual	~CtxData ()
Data Fields
bool	enabled
	Stores if plugin is enabled.
Mode	mode
	Selected mode.

---

Detailed Description

Definition at line 48 of file AggregatePlugin.h.

---

Member Enumeration Documentation

enum AggregatePlugin::CtxData::Mode

Supported plugin modes.

Enumerator:

ExtRewrite	Rewrting aggregates to external atoms.
ExtBlRewrite	Rewrting aggregates to boolean external atoms.
Simplify	Simplify them such that they can be natively handled.

Definition at line 56 of file AggregatePlugin.h.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN AggregatePlugin::CtxData::CtxData

(

)

Definition at line 58 of file AggregatePlugin.cpp.

virtual AggregatePlugin::CtxData::~CtxData

(

)

[inline, virtual]

Definition at line 69 of file AggregatePlugin.h.

---

Field Documentation

bool AggregatePlugin::CtxData::enabled

Stores if plugin is enabled.

Definition at line 53 of file AggregatePlugin.h.

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

Mode AggregatePlugin::CtxData::mode

Selected mode.

Definition at line 66 of file AggregatePlugin.h.

Referenced by AggregatePlugin::processOptions().

---

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

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