AIMA.Core.Logic.Propositional.Visitors.CNFClauseGatherer.processSubTerm C# (CSharp) Method

        private List<Sentence> processSubTerm(Sentence s, List<Sentence> soFar)
        {
            if (detector.containsEmbeddedAnd(s))
            {
                return (List<Sentence>)s.accept(this, soFar);
            }
            else
            {
                soFar.Add(s);
                return soFar;
            }
        }
    }