TestCAtom Class Reference

Inheritance diagram for TestCAtom:

Collaboration diagram for TestCAtom:

Public Member Functions
	TestCAtom ()
virtual void	retrieve (const ComfortQuery &query, ComfortAnswer &answer)
	Retrieve answer to a query (external computation happens here).

---

Detailed Description

Definition at line 128 of file TestPlugin.cpp.

---

Constructor & Destructor Documentation

TestCAtom::TestCAtom

(

)

[inline]

Definition at line 132 of file TestPlugin.cpp.

References PluginAtom::addInputPredicate(), and PluginAtom::setOutputArity().

---

Member Function Documentation

virtual void TestCAtom::retrieve	(	const ComfortQuery &	q,
		ComfortAnswer &	a
	)		[inline, virtual]

Retrieve answer to a query (external computation happens here).

This function implements the external atom computation. See also documentation of Query and Answer classes.

Answer tuples must conform to the content of the pattern tuple in Query:

• they must contain the same number of terms as pattern
• constants in pattern must match constants in answer tuples
• variables in pattern must be replaced by constants in answer tuples

  Parameters:

  q	See ComfortPluginAtom::ComfortQuery.
  a	See ComfortPluginAtom::ComfortAnswer.

Implements ComfortPluginAtom.

Definition at line 139 of file TestPlugin.cpp.

References ComfortPluginAtom::ComfortQuery::input, ComfortPluginAtom::ComfortQuery::interpretation, ComfortInterpretation::matchPredicate(), and ComfortAtom::tuple.

---

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

• testsuite/TestPlugin.cpp