Ejemplo n.º 1
0
 def test_correctness_randomized(self, variables, values):
     values = Multiset(values)
     for subst in commutative_sequence_variable_partition_iter(values, variables):
         assert len(variables) == len(subst)
         result_union = Multiset()
         for var in variables:
             assert len(subst[var.name]) >= var.minimum
             result_union.update(subst[var.name] * var.count)
         assert result_union == values
Ejemplo n.º 2
0
 def test_correctness(self, variables, values, expected_iter_count):
     values = Multiset(values)
     variables = [VariableWithCount('var{:d}'.format(i), c, m, None) for i, (c, m) in enumerate(variables)]
     count = 0
     for subst in commutative_sequence_variable_partition_iter(values, variables):
         assert len(variables) == len(subst), "Wrong number of variables in the substitution"
         result_union = Multiset()
         for var in variables:
             assert len(subst[var.name]) >= var.minimum, "Variable did not get its minimum number of expressions"
             result_union.update(subst[var.name] * var.count)
         assert result_union == values, "Substitution is not a partition of the values"
         count += 1
     assert count == expected_iter_count, "Invalid number of substitution in the iterable"