Module Struct Reference

Module structure, used in ModuleTable.h. More...

#include <include/dlvhex2/Module.h>

Inheritance diagram for Module:

Collaboration diagram for Module:

Public Member Functions
	Module ()
	Constructor.
	Module (const std::string &moduleName, const int &inputList, const int &edb, const int &idb)
	Constructor.
bool	operator== (const Module &mod2) const
	Comparison of modules.
bool	operator!= (const Module &mod2) const
	Comparison of modules.
std::ostream &	print (std::ostream &o) const
Data Fields
IDKind	kind
	The kind part of the ID of this symbol.
std::string	moduleName
	Name of the module.
int	inputList
	Input to the module.
int	edb
	EDB of the module.
int	idb
	IDB of the module.

---

Detailed Description

Module structure, used in ModuleTable.h.

Definition at line 45 of file Module.h.

---

Constructor & Destructor Documentation

Module::Module

(

)

[inline]

Constructor.

Definition at line 62 of file Module.h.

Module::Module	(	const std::string &	moduleName,
		const int &	inputList,
		const int &	edb,
		const int &	idb
	)		[inline]

Constructor.

Parameters:

moduleName	See Module::moduleName.
inputList	See Module::inputList.
edb	See Module::edb.
idb	See Module::idb.

Definition at line 68 of file Module.h.

---

Member Function Documentation

bool Module::operator!=

(

const Module &

mod2

)

const [inline]

Comparison of modules.

Parameters:

mod2	The module to compare this one to.

Returns:

True if this module is not equal to mod2 and false otherwise.

Definition at line 79 of file Module.h.

References edb, idb, inputList, and moduleName.

bool Module::operator==

(

const Module &

mod2

)

const [inline]

Comparison of modules.

Parameters:

mod2	The module to compare this one to.

Returns:

True if this module is equal to mod2 and false otherwise.

Definition at line 74 of file Module.h.

References edb, idb, inputList, and moduleName.

std::ostream& Module::print

(

std::ostream &

o

)

const [inline]

Definition at line 81 of file Module.h.

References edb, idb, inputList, and moduleName.

---

Field Documentation

int Module::edb

EDB of the module.

Definition at line 57 of file Module.h.

Referenced by operator!=(), operator==(), and print().

int Module::idb

IDB of the module.

Definition at line 59 of file Module.h.

Referenced by operator!=(), operator==(), and print().

int Module::inputList

Input to the module.

Definition at line 55 of file Module.h.

Referenced by operator!=(), operator==(), print(), and MLPSyntaxChecker::verifyPredInputsArityModuleCall().

IDKind Module::kind

The kind part of the ID of this symbol.

Not used in module.

Definition at line 51 of file Module.h.

std::string Module::moduleName

Name of the module.

Definition at line 53 of file Module.h.

Referenced by operator!=(), operator==(), and print().

---

The documentation for this struct was generated from the following file:

• include/dlvhex2/Module.h