def satisfy_branch_0(world_state, input_binding):
output_binding = input_binding.copy()
for b in world_state.get('apple', []):
output_binding['?a'] = b[0]
for b in world_state.get('color', []):
if b[0] != output_binding['?a']:
continue
if b[1] != examples.get_green():
continue
yield output_binding
def satisfy_branch_0(world_state, input_binding):
output_binding = input_binding.copy()
for b in world_state.get("apple", []):
output_binding["?a"] = b[0]
for b in world_state.get("color", []):
if b[0] != output_binding["?a"]:
continue
if b[1] != examples.get_green():
continue
yield output_binding
def method_test_call_is_single_term(self, world_state, input_binding):
def satisfy_branch_0(world_state, input_binding):
output_binding = input_binding.copy()
if examples.get_true(examples.get_green()):
yield output_binding
precondition_satisfied = False
for branch_satisfier in satisfy_branch_0(world_state, input_binding):
precondition_satisfied = True
t0 = [('!OK', examples.get_green())]
yield t0
yield None
def method_test_call_is_single_term(self, world_state, input_binding):
def satisfy_branch_0(world_state, input_binding):
output_binding = input_binding.copy()
if examples.get_true(examples.get_green()):
yield output_binding
precondition_satisfied = False
for branch_satisfier in satisfy_branch_0(world_state, input_binding):
precondition_satisfied = True
t0 = [("!OK", examples.get_green())]
yield t0
yield None
def satisfy_branch_0(world_state, input_binding):
output_binding = input_binding.copy()
if examples.get_true(examples.get_green()):
yield output_binding
def satisfy_branch_0(world_state, input_binding):
output_binding = input_binding.copy()
if examples.get_true(examples.get_green()):
yield output_binding