private bool TermArraysEquals(System.Collections.Generic.List<Term[]> termArrays1, System.Collections.Generic.List<Term[]> termArrays2)
{
if (termArrays1.Count != termArrays2.Count)
{
return false;
}
var iterator1 = termArrays1.GetEnumerator();
var iterator2 = termArrays2.GetEnumerator();
while (iterator1.MoveNext())
{
Term[] termArray1 = iterator1.Current;
Term[] termArray2 = iterator2.Current;
if (!(termArray1 == null ? termArray2 == null : TermEquals(termArray1, termArray2)))
{
return false;
}
}
return true;
}