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

#include <include/dlvhex2/WeakConstraintPlugin.h>

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

Public Member Functions

 CtxData ()
virtual ~CtxData ()

Data Fields

bool enabled
 Stores if plugin is enabled.
bool allmodels
 Set to true in order to display all (also non-optimal) models even under weak constraints.

Detailed Description

Definition at line 48 of file WeakConstraintPlugin.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN WeakConstraintPlugin::CtxData::CtxData ( )

Definition at line 57 of file WeakConstraintPlugin.cpp.

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

Definition at line 59 of file WeakConstraintPlugin.h.

Field Documentation

bool WeakConstraintPlugin::CtxData::allmodels

Set to true in order to display all (also non-optimal) models even under weak constraints.

Definition at line 56 of file WeakConstraintPlugin.h.

Referenced by WeakConstraintPlugin::processOptions().

bool WeakConstraintPlugin::CtxData::enabled

Stores if plugin is enabled.

Definition at line 53 of file WeakConstraintPlugin.h.

Referenced by WeakConstraintPlugin::createRewriter(), WeakConstraintPlugin::processOptions(), and WeakConstraintPlugin::setupProgramCtx().

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