FunctionPlugin::CtxData Class Reference

#include <include/dlvhex2/FunctionPlugin.h>

Inheritance diagram for FunctionPlugin::CtxData:

Collaboration diagram for FunctionPlugin::CtxData:

Public Member Functions
	CtxData ()
virtual	~CtxData ()
Data Fields
int	maxArity
	Maximal input arity for external atoms which handle functional terms.
bool	rewrite
	True to rewrite function symbols to external atoms and false to handle them natively.
bool	parser
	Enable parser for functionals.

---

Detailed Description

Definition at line 49 of file FunctionPlugin.h.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN FunctionPlugin::CtxData::CtxData

(

)

Definition at line 61 of file FunctionPlugin.cpp.

virtual FunctionPlugin::CtxData::~CtxData

(

)

[inline, virtual]

Definition at line 63 of file FunctionPlugin.h.

---

Field Documentation

int FunctionPlugin::CtxData::maxArity

Maximal input arity for external atoms which handle functional terms.

Definition at line 54 of file FunctionPlugin.h.

Referenced by FunctionPlugin::createAtoms(), and FunctionPlugin::processOptions().

bool FunctionPlugin::CtxData::parser

Enable parser for functionals.

Definition at line 60 of file FunctionPlugin.h.

Referenced by FunctionPlugin::createParserModules(), and FunctionPlugin::processOptions().

bool FunctionPlugin::CtxData::rewrite

True to rewrite function symbols to external atoms and false to handle them natively.

Definition at line 57 of file FunctionPlugin.h.

Referenced by FunctionPlugin::createRewriter(), and FunctionPlugin::processOptions().

---

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

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