private void RemoveTuplesCoveredBy(TestCase testCase)
{
for (int i = 0; i < uncoveredTuples.Length; i++)
{
for (int j = 0; j < uncoveredTuples[i].Length; j++)
{
TupleCollection tupleCollection = uncoveredTuples[i][j];
for (int num = tupleCollection.Count - 1; num >= 0; num--)
{
if (testCase.IsTupleCovered(tupleCollection[num]))
{
tupleCollection.RemoveAt(num);
}
}
}
}
}
private void RemoveTuplesCoveredBy(TestCase testCase)
{
for (int d = 0; d < this.uncoveredTuples.Length; d++)
{
for (int f = 0; f < this.uncoveredTuples[d].Length; f++)
{
TupleCollection tuples = this.uncoveredTuples[d][f];
for (int i = tuples.Count - 1; i >= 0; i--)
{
if (testCase.IsTupleCovered(tuples[i]))
{
tuples.RemoveAt(i);
}
}
}
}
}
