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