def infer_soa(GFA):
"""
Applies Rewrite to the SOA until a final GFA is obtained
"""
rewrite(GFA)
if not __is_final__(GFA):
proceed = True
while proceed and not __is_final__(GFA):
proceed = (
__enable_disjunction_case_b__(GFA) or
__enable_disjunction_case_a__(GFA) or
__enable_optional_case_a__(GFA) or
__enable_optional_case_b__(GFA)
)
if proceed:
rewrite(GFA)
return __is_final__(GFA)
def testLengthNonAumented(self):
self.prepareRandomGraph()
previouslen = len(self.rndgraph)
rewrite(self.rndgraph)
self.assert_(previouslen >= len(self.rndgraph))
