https://github.com/qiyitang71/approximate-quotienting
Revision 81fe2d504f9aec96ba279fee0b16c275553ea975 authored by qiyitang71 on 13 April 2021, 17:57:33 UTC, committed by GitHub on 13 April 2021, 17:57:33 UTC
1 parent 5d7d199
Tip revision: 81fe2d504f9aec96ba279fee0b16c275553ea975 authored by qiyitang71 on 13 April 2021, 17:57:33 UTC
Update README.md
Update README.md
Tip revision: 81fe2d5
printLog2.py
import sys
import os
with open(sys.argv[1], 'r') as f:
Lines = f.readlines()
count = 0
for line in Lines:
count += 1
line = line.rstrip("\n")
if count == 4:
s1,s2 = line.split(' ', 1)
a,b,c = s2.split('-', 2)
print(a + "-" + b + ":" + c + ", #states, #transitions, #iter, , #states, #transitions, #iter")
if count == 6:
s1,s2 = line.split(' ', 1)
print("sample model, " + s1 + ", " + s2 + ", , , " + s1 + ", " + s2 + ", ")
if count%17 == 9:
epsilon = line
if count == 12:
s1,s2 = line.split(' ', 1)
if count%17 == 15:
exactSta, exactTran= line.split(' ', 1)
if count%17 == 16:
exactIter = line.split('=', 1)[1]
if count == 20:
s3,s4 = line.split(' ', 1)
print("quotient model, " + s3 + ", " + s4 + ", , , " + s1 + ", " + s2 + ", ")
if count%17 == 6 and count != 6:
sampleSta, sampleTran= line.split(' ', 1)
if count%17 == 7 and count != 7:
sampleIter = line.split('=', 1)[1]
print(epsilon+"")
print("approximate partition refinement, " + sampleSta + ", " + sampleTran + ", " + sampleIter + ", , " + exactSta + ", " + exactTran + ", " + exactIter)
f.close()
Computing file changes ...