AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.IndexedClauses.IndexedClauses C# (CSharp) Метод

            public IndexedClauses(LightestClauseHeuristic lightestClauseHeuristic,
                    List<Clause> sos, List<Clause> usable)
            {
                this.lightestClauseHeuristic = lightestClauseHeuristic;
                foreach (Clause c in sos)
                {
                    indexClause(c);
                }
                foreach (Clause c in usable)
                {
                    indexClause(c);
                }
            }