Skip to content
Snippets Groups Projects
hausdimComputationTest.py 488 B
Newer Older
Davide Cavezza's avatar
Davide Cavezza committed
import re
import sys
import Weakness.src.automaton as a

inf = open(sys.argv[1],"r")
assumptions = inf.readlines()

fair_pattern = re.compile(r"^G\(F\((.+)\)\)")
inv_pattern = re.compile(r"^G\(.+\)")

fair = []
inv = []
for assumption in assumptions:
    matched = fair_pattern.match(assumption)
    if matched is not None:
        fair.append("F(G("+matched.group(1)+"))")
    elif inv_pattern.match(assumption) is not None:
        inv.append(assumption)

print str(fair)
print str(inv)