def all_in_file(self, filename, event_dictionary=None): # Sanity check. Are all points from file inside the Hull? # It makes thing slower, speacially in big cases parser = XesParser(filename) parser.event_dictionary = event_dictionary or {} parser.parse() parser.parikhs_vector() return self.all_in(parser.pv_set)
def all_in_file(self, filename, event_dictionary=None): # Esto es para chequear que no dejando a nadia afuera # hace todo más lento en ejemplos grandes parser = XesParser(filename) parser.event_dictionary = event_dictionary or {} parser.parse() parser.parikhs_vector() return self.all_in(parser.pv_set)
def check_hull(self, log_file='', event_dictionary={}): if not (log_file.endswith('.xes')): print log_file, ' does not end in .xes. It should...' raise Exception('Filename does not end in .xes') if not isfile(log_file): raise Exception("No such file") # For every benchmark, check that the hull accepts the positive log parser = XesParser(log_file) parser.event_dictionary = event_dictionary or {} parser.parse() parser.parikhs_vector() for benchmark in ['no_smt', 'smt_iter', 'smt_matrix']: qhull = getattr(self,'qhull_'+benchmark) try: qhull.all_in(parser.pv_set) except Exception, err: logger.error("Error running check_hull for %s, file %s",benchmark, log_file, exc_info=True) raise