def generate_pnml(self, filename='', reversed_dictionary={}):
filename = filename or 'Generated automagically comparator.py'
pach = PacH(filename)
pach.reversed_dictionary = reversed_dictionary
pach.dim = self.dim
def_name = pach.get_def_pnml_name()
if def_name.endswith('.pnml'):
def_name = def_name[:-5]
# For every benchmark, generate a PNML
for benchmark in ['no_smt', 'smt_iter', 'smt_matrix']:
qhull = getattr(self,'qhull_'+benchmark)
pach.qhull = qhull
filename = def_name + '_' + benchmark + '.pnml'
pach.generate_pnml(filename=filename)
logger.info('Generated the PNML %s for %s', filename, benchmark)
return True
def generate_pnml(self, filename="", reversed_dictionary={}):
filename = filename or "Generated automagically comparator.py"
pach = PacH(filename)
pach.reversed_dictionary = reversed_dictionary
pach.dim = self.dim
def_name = pach.get_def_pnml_name()
if def_name.endswith(".pnml"):
def_name = def_name[:-5]
# For every benchmark, generate a PNML
for benchmark in ["no_smt", "smt_iter", "smt_matrix"]:
qhull = getattr(self, "qhull_" + benchmark)
pach.qhull = qhull
filename = def_name + "_" + benchmark + ".pnml"
pach.generate_pnml(filename=filename)
logger.info("Generated the PNML %s for %s", filename, benchmark)
return True
