Newer
Older
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)