batch mixer
nounDefinition of batch mixer
: a mixer into which the ingredients for one batch are placed, mixed, and discharged before another batch is introduced
—opposed to continuous mixer