refiner

noun

1. One who, or that which, refines.

   “The average motorist will not see much, if any, difference in gasoline pump price but oil producers and Gulf Coast refiners expect profits to improve.”

   “You can think of a search refiner as a filter. Your search for a broad topic might return hundreds of possible results. The refiner allows you to filter this information down based on the configured criteria.”