FAST_QUANT_INSTANTIATE_CONV

quantHeuristicsLib.FAST_QUANT_INSTANTIATE_CONV : quant_param list -> conv

A fast version of quantHeuristicsLib.QUANT_INSTANTIATE_CONV. It does not preprocess the term in order to minimise the number of variable occurrences.

See also

quantHeuristicsLib.QUANT_INSTANTIATE_CONV, quantHeuristicsLib.FAST_QUANT_INSTANTIATE_TAC