def diff_frame(updated1,updated2,relations,op): if updated1 == None or updated2 == None: return Clauses([]) updated = list_diff(updated2,updated1) return frame(updated,relations,op)
def diff_frame(updated1, updated2, relations, op): if updated1 == None or updated2 == None: return Clauses([]) updated = list_diff(updated2, updated1) return frame(updated, relations, op)
def diff_frame(updated1, updated2, op, axioms): if updated1 == None or updated2 == None: return Clauses([]) updated = list_diff(updated2, updated1) defnd = set(df.defines() for df in axioms.defs) updated = [sym for sym in updated if sym not in defnd] return frame(updated, op)