private void indexClause(Clause c)
{
int size = c.getNumberLiterals();
if (size < minNoLiterals)
{
minNoLiterals = size;
}
if (size > maxNoLiterals)
{
maxNoLiterals = size;
}
List<Clause> cforsize = null;
if (!clausesGroupedBySize.ContainsKey(size))
{
cforsize = new List<Clause>();
clausesGroupedBySize.Add(size, cforsize);
}
else
{
cforsize = clausesGroupedBySize[size];
}
cforsize.Add(c);
}
}