void set_type(output_type type)
Select the desired output type.
Definition: postproc.hh:131
void set_pref(output_pref pref)
Select the desired characteristics of the output automaton.
Definition: postproc.hh:189
Wrap TGBA/BA/Monitor post-processing algorithms in an easy interface.
Definition: postproc.hh:66