>The title has it all: I want all the records of my table in the current SET FILTER. I could copy to an array and do something like that, but I thought there might be Function that I don't know about.

A COUNT or SQL Select is probably the best method to get what you need. Record the record pointer's position before you start so that you can restore it after spinning through the active records.