Query class which provides the input of an external atom call. More...
#include <include/dlvhex2/ComfortPluginInterface.h>
Data Fields | |
| ComfortInterpretation | interpretation |
| Interpretation relevant to this external atom call. | |
| ComfortTuple | input |
| Ground terms of the input list. | |
| ComfortTuple | pattern |
| Output list as it occurs in the program. | |
Detailed Description
Query class which provides the input of an external atom call.
Query::input contains the ground terms of the input list.
Query::output corresponds to the atom's output list.
Query::interpretation contains the interpretation relevant to this external atom call.
The answer shall contain exactly those tuples that match the pattern and are in the output of the atom's function for the interpretation and the input arguments.
ComfortQuery objects are passed to ComfortPluginAtom::retrieve.
Definition at line 544 of file ComfortPluginInterface.h.
Field Documentation
Ground terms of the input list.
Definition at line 549 of file ComfortPluginInterface.h.
Referenced by TestCAtom::retrieve(), ComfortPluginAtom::retrieve(), TestSetMinusAtom::retrieve(), and TestMinusOneAtom::retrieve().
Interpretation relevant to this external atom call.
Definition at line 547 of file ComfortPluginInterface.h.
Referenced by TestAAtom::retrieve(), TestBAtom::retrieve(), TestCAtom::retrieve(), ComfortPluginAtom::retrieve(), TestSetMinusAtom::retrieve(), TestEvenAtom::retrieve(), and TestOddAtom::retrieve().
Output list as it occurs in the program.
Definition at line 551 of file ComfortPluginInterface.h.
Referenced by ComfortPluginAtom::retrieve().
The documentation for this struct was generated from the following file:
- include/dlvhex2/ComfortPluginInterface.h
