vampire.util.get_properties_pickle_path# vampire.util.get_properties_pickle_path(filepath, filter_info)[source]#