#include <Query.h>
Inheritance diagram for Query::
Definition at line 18 of file Query.h.
|
First the first/next solution.
|
|
Get the Symbol to which the given (Variable) Symbol in the goal is bound, in the current solution.
|
|
Go ahead and try to find another match. Returns when one has been found or we know none can be found.
|