def test_vector_constructor(): ctx = Qit() s = Struct(Int(), Int()) v = Vector(s) x = Variable(s, "x") result = ctx.run(v.value([x, s.value((7, 2)), (1, 2)]), args={x: (11,12)}) assert result == [ (11, 12), (7, 2), (1, 2) ]
# solution = t_input.value(( # triangle t0 -> t0 -> t1 -> t1 -> t2 -> t2 -> t0 -> ... # {0: 2, 1: 0, 2: 2}, # { # (0, 0): 2, # (0, 1): 1, # (0, 2): 0, # (1, 0): 0, # (1, 1): 2, # (1, 2): 1, # (2, 0): 1, # (2, 1): 0, # (2, 2): 2 # }, # { # (0, 0): 2, # (0, 1): 1, # (0, 2): 0, # (1, 0): 0, # (1, 1): 2, # (1, 2): 1, # (2, 0): 1, # (2, 1): 0, # (2, 2): 2 # })) # res = ctx.run(t_input.values(solution).iterate().map(f_map_variables)) empty_value = t_result.value((({}, {}, {}), [])) res = ctx.run(init_values.iterate().map(f_process_input).filter(f_eq_statespaces).first(empty_value)) print ("Result: ", res)
def test_struct_empty(): ctx = Qit() s1 = Struct() ctx.run(s1.value(()))