def int_update(self,domain,pvars):
update = ([],true_clauses(),false_clauses())
axioms = domain.background_theory(pvars)
for op in self.args:
thing = op.int_update(domain,pvars);
# print "op: {}, thing: {}".format(op,thing)
update = compose_updates(update,axioms,thing)
return update
def int_update(self,domain,pvars):
update = null_update()
axioms = domain.background_theory(pvars)
for op in self.args:
thing = op.int_update(domain,pvars);
# print "op: {}, thing: {}".format(op,thing)
update = compose_updates(update,thing)
return update
def int_update(self, domain, pvars):
update = ([], true_clauses(), false_clauses())
axioms = domain.background_theory(pvars)
for op in self.args:
thing = op.int_update(domain, pvars)
# print "op: {}, thing: {}".format(op,thing)
update = compose_updates(update, axioms, thing)
return update
def int_update(self, domain, pvars):
update = null_update()
axioms = domain.background_theory(pvars)
for op in self.args:
thing = op.int_update(domain, pvars)
# print "op: {}, thing: {}".format(op,thing)
update = compose_updates(update, thing)
return update
