def parse_formulae(self, strforms): formulae = [] if strforms is None: return formulae for strform in strforms: if ("#" not in strform) and (strform != ""): formula = self.parse_formula(strform) formula_fv = get_free_variables(formula) nextvars = [v for v in formula_fv if TS.is_prime(v)] != [] prevvars = [v for v in formula_fv if TS.is_prev(v)] != [] formulae.append((strform, formula, (nextvars, prevvars))) return formulae
def parse_formulae(self, str_or_fnodes): formulae = [] if str_or_fnodes is None: return formulae for s in str_or_fnodes: if isinstance(s, str): if ('#' in s) or len(s) == 0: continue formula = self.parse_formula(s) else: formula = s formula_fv = get_free_variables(formula) nextvars = [v for v in formula_fv if TS.is_prime(v)] != [] prevvars = [v for v in formula_fv if TS.is_prev(v)] != [] formulae.append((str(s), formula, (nextvars, prevvars))) return formulae