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

        public override Object visitBinarySentence(BinarySentence bs, Object args)
        {

            List<Sentence> soFar = (List<Sentence>)args;

            Sentence first = bs.getFirst();
            Sentence second = bs.getSecond();
            processSubTerm(second, processSubTerm(first, soFar));

            return soFar;

        }