Main Page   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members   Related Pages   Examples  

Query Class Reference

A Query manages the task of determining whether a particular knowledge base already contains the knowledge in some other knowledge base, possibly in several different ways. More...

#include <Query.h>

Inheritance diagram for Query::

XSBQuery Collaboration diagram for Query:

Collaboration graph
[legend]
List of all members.

Public Methods


Detailed Description

A Query manages the task of determining whether a particular knowledge base already contains the knowledge in some other knowledge base, possibly in several different ways.

See also:
QueryablePool

Definition at line 18 of file Query.h.


Member Function Documentation

bool Query::fetch   [inline]
 

First the first/next solution.

Returns:
true iff a solution was found

Definition at line 45 of file Query.h.

Symbol Query::binding Symbol    var [inline]
 

Get the Symbol to which the given (Variable) Symbol in the goal is bound, in the current solution.

Returns:
the bound-to symbol, or Symbol::NULL if not bound. May be bound to another variable.

Definition at line 64 of file Query.h.

virtual void Query::advance   [inline, virtual]
 

Go ahead and try to find another match.

Returns when one has been found or we know none can be found.

Todo:
Add some kind of resource limits, so the search will not go on forever.

Make it interuptable, or something. An advance & callback when you've got something.

Definition at line 91 of file Query.h.


Home to blindfold. This page generated via doxygen 1.2.11.1 Wed Oct 10 16:40:36 2001.