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
