ModuleAtom Struct Reference

Module atom structure for storing atoms of kind <predicate>[<inputs>]::<outputAtom>. More...

#include <include/dlvhex2/Atoms.h>

Inheritance diagram for ModuleAtom:

Collaboration diagram for ModuleAtom:

Public Member Functions
	ModuleAtom (IDKind kind, ID predicate, const Tuple &inputs, ID outputAtom, std::string actualModuleName)
	Constructor.
	ModuleAtom (IDKind kind)
	Constructor.
std::ostream &	print (std::ostream &o) const
Data Fields
ID	predicate
	Module atom name (predicate term).
Tuple	inputs
	Input terms.
ID	outputAtom
	Module output predicate.
std::string	actualModuleName
	If the <predicate> is p1__p2 (because of prefixing) then the actualModuleName should be p2.

---

Detailed Description

Module atom structure for storing atoms of kind <predicate>[<inputs>]::<outputAtom>.

Definition at line 457 of file Atoms.h.

---

Constructor & Destructor Documentation

ModuleAtom::ModuleAtom	(	IDKind	kind,
		ID	predicate,
		const Tuple &	inputs,
		ID	outputAtom,
		std::string	actualModuleName
	)		[inline]

Constructor.

Parameters:

kind	See Atom::kind.
predicate	See ModuleAtom::predicate.
inputs	See ModuleAtom::inputs.
outputAtom	See ModuleAtom::outputAtom.
actualModuleName	See ModuleAtom::actualModuleName.

Definition at line 481 of file Atoms.h.

ModuleAtom::ModuleAtom

(

IDKind

kind

)

[inline]

Constructor.

Parameters:

kind	See Atom::kind.

Definition at line 493 of file Atoms.h.

---

Member Function Documentation

std::ostream & ModuleAtom::print

(

std::ostream &

o

)

const

Definition at line 438 of file Atoms.cpp.

References inputs, outputAtom, predicate, and printvector().

---

Field Documentation

std::string ModuleAtom::actualModuleName

If the <predicate> is p1__p2 (because of prefixing) then the actualModuleName should be p2.

Definition at line 469 of file Atoms.h.

Referenced by sem< HexGrammarSemantics::mlpModuleAtom >::operator()().

Tuple ModuleAtom::inputs

Input terms.

Definition at line 465 of file Atoms.h.

Referenced by sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), RawPrinter::print(), print(), and MLPSyntaxChecker::verifyAllModuleCalls().

ID ModuleAtom::outputAtom

Module output predicate.

Definition at line 467 of file Atoms.h.

Referenced by sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), RawPrinter::print(), print(), and MLPSyntaxChecker::verifyAllModuleCalls().

ID ModuleAtom::predicate

Module atom name (predicate term).

Definition at line 463 of file Atoms.h.

Referenced by sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), RawPrinter::print(), print(), and MLPSyntaxChecker::verifyAllModuleCalls().

---

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

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