vampire.util.get_properties_pickle_path#

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