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
