BuiltinAtom Struct Reference

Stores atoms over builtin predicates, such as X <= 2. More...

#include <include/dlvhex2/Atoms.h>

Inheritance diagram for BuiltinAtom:

Collaboration diagram for BuiltinAtom:

Public Member Functions
	BuiltinAtom (IDKind kind)
	Constructor.
	BuiltinAtom (IDKind kind, const Tuple &tuple)
	Constructor.
std::ostream &	print (std::ostream &o) const

---

Detailed Description

Stores atoms over builtin predicates, such as X <= 2.

See ID::TermBuiltinAddress.

Definition at line 182 of file Atoms.h.

---

Constructor & Destructor Documentation

BuiltinAtom::BuiltinAtom

(

IDKind

kind

)

[inline]

Constructor.

Parameters:

kind	See Atom::kind.

Definition at line 190 of file Atoms.h.

BuiltinAtom::BuiltinAtom	(	IDKind	kind,
		const Tuple &	tuple
	)		[inline]

Constructor.

Parameters:

kind	See Atom::kind.
tuple	See Atom::tuple. For ternary builtins of the form (A = B * C) tuple contains in this order: <*, B, C, A>.

Definition at line 198 of file Atoms.h.

---

Member Function Documentation

std::ostream& BuiltinAtom::print

(

std::ostream &

o

)

const [inline]

Definition at line 201 of file Atoms.h.

References printvector().

---

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

• include/dlvhex2/Atoms.h