export eEncoder::getUsedEncoderCount to python