include/dlvhex2/Module.h File Reference

Module structure: stores module name, the associated input list, edb and idb. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Logger.h"

Include dependency graph for Module.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	Module
	Module structure, used in ModuleTable.h. More...
Functions
const Module	MODULE_FAIL ("",-1,-1,-1)

---

Detailed Description

Module structure: stores module name, the associated input list, edb and idb.

Author:

Tri Kurniawan Wijaya <[email protected]>

Definition in file Module.h.

---

Function Documentation

const Module MODULE_FAIL	(	""	,
		-	1,
		-	1,
		-	1
	)

Referenced by ModuleTable::getModuleByName(), and MLPSyntaxChecker::verifyPredInputsArityModuleCall().