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)