A TmeIterator is a wrapper around a function that gets called for every element matched by a query submitted to the reasoner. By providing a generic context pointer, you can plug any data structure (loggers, collections, etc.) which allows for arbitrarily complex queries.
The iterator function returns a
booleanthat can be used to control iteration: by returning
trueiteration goes on to the next element, while returning
falsecauses it to stop. This is useful if, for example, you want to find the first element matching certain criteria.
This is not a real data structure, though it is declared as such for better grouping in the generated documentation.
Initializes an iterator.
CTX: Iterator context, can be anything.
FOR_EACH: Pointer to a function called by the iterator for every element.