def condition_update_on_fmla(update, fmla, relations):
"""Given an update, return an update conditioned on fmla. Maybe an "else" would
be useful too :-).
"""
updated, if_clauses, if_pre = update
else_clauses = update_frame_constraint(update, relations)
if_clauses = condition_clauses(if_clauses, fmla)
else_clauses = condition_clauses(else_clauses, Not(fmla))
## print "if_clauses: %s" % if_clauses
## print "else_clauses: %s" % else_clauses
return updated, (and_clauses(if_clauses, else_clauses)), if_pre
def condition_update_on_fmla(update,fmla,relations):
"""Given an update, return an update conditioned on fmla. Maybe an "else" would
be useful too :-).
"""
updated,if_clauses,if_pre = update
else_clauses = update_frame_constraint(update,relations)
if_clauses = condition_clauses(if_clauses,fmla)
else_clauses = condition_clauses(else_clauses,Not(fmla))
## print "if_clauses: %s" % if_clauses
## print "else_clauses: %s" % else_clauses
return updated,(and_clauses(if_clauses,else_clauses)),if_pre
def condition_update_on_fmla(update,fmla):
"""Given an update, return an update conditioned on fmla. Maybe an "else" would
be useful too :-).
"""
assert isinstance(update,SemValue)
updated,if_clauses,if_pre = update.comps
else_clauses = update_frame_constraint(update)
if_clauses = condition_clauses(if_clauses,fmla)
else_clauses = condition_clauses(else_clauses,Not(fmla))
## print "if_clauses: %s" % if_clauses
## print "else_clauses: %s" % else_clauses
return type(update)(updated,(and_clauses(if_clauses,else_clauses)),if_pre)
def condition_update_on_fmla(update, fmla):
"""Given an update, return an update conditioned on fmla. Maybe an "else" would
be useful too :-).
"""
assert isinstance(update, SemValue)
updated, if_clauses, if_pre = update.comps
else_clauses = update_frame_constraint(update)
if_clauses = condition_clauses(if_clauses, fmla)
else_clauses = condition_clauses(else_clauses, Not(fmla))
## print "if_clauses: %s" % if_clauses
## print "else_clauses: %s" % else_clauses
return type(update)(updated, (and_clauses(if_clauses, else_clauses)),
if_pre)
