set_agg_finalfn set_agg_transfn

set_agg_finalfn() Set * set_agg_finalfn ( Set *  state ) Transition function for set aggregate of values.