AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.IndexedClauses.indexClause C# (CSharp) 메소드

            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);
            }
        }