def test_enumeration_of_action_parameters_for_small_bw():
prob, index = create_small_bw_with_index()
index.ground_actions = IndexDictionary()
actions = list(prob.actions.values())
card, syms, substs = instantiation.enumerate_groundings(prob.language, actions[0].parameters)
assert card == 6
assert len(syms) == 1
assert len(substs) == 1
def test_generate_substitutions_for_small_bw():
import itertools
prob, index = create_small_bw_with_index()
index.ground_actions = IndexDictionary()
actions = list(prob.actions.values())
card, syms, substs = instantiation.enumerate_groundings(prob.language, actions[0].parameters)
for values in itertools.product(*substs):
assert (len(syms) == len(values))
subst = create_substitution(syms, values)
assert len(subst) == 1