def dump_statistics(sas_task): print("Translator variables: %d" % len(sas_task.variables.ranges)) print(("Translator derived variables: %d" % len([layer for layer in sas_task.variables.axiom_layers if layer >= 0]))) print("Translator facts: %d" % sum(sas_task.variables.ranges)) print("Translator mutex groups: %d" % len(sas_task.mutexes)) print(("Translator total mutex groups size: %d" % sum(mutex.get_encoding_size() for mutex in sas_task.mutexes))) print("Translator operators: %d" % len(sas_task.operators)) print("Translator task size: %d" % sas_task.get_encoding_size()) try: peak_memory = tools.get_peak_memory_in_kb() except Warning as warning: print(warning) else: print("Translator peak memory: %d KB" % peak_memory)
def dump_statistics(sas_task): print("Translator variables: %d" % len(sas_task.variables.ranges)) print(( "Translator derived variables: %d" % len([layer for layer in sas_task.variables.axiom_layers if layer >= 0]))) print("Translator facts: %d" % sum(sas_task.variables.ranges)) print("Translator mutex groups: %d" % len(sas_task.mutexes)) print(("Translator total mutex groups size: %d" % sum(mutex.get_encoding_size() for mutex in sas_task.mutexes))) print("Translator operators: %d" % len(sas_task.operators)) print("Translator task size: %d" % sas_task.get_encoding_size()) try: peak_memory = tools.get_peak_memory_in_kb() except Warning as warning: print(warning) else: print("Translator peak memory: %d KB" % peak_memory)