AIMA.Core.Logic.Propositional.Visitors.CNFTransformer.transformImpliedSentence C# (CSharp) 메소드

transformImpliedSentence() 개인적인 메소드

private transformImpliedSentence ( BinarySentence bs ) : Sentence
bs AIMA.Core.Logic.Propositional.Parsing.Ast.BinarySentence
리턴 AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
        private Sentence transformImpliedSentence(BinarySentence bs)
        {
            Sentence first = new UnarySentence((Sentence)bs.getFirst().accept(
                    this, null));
            return new BinarySentence("OR", first, (Sentence)bs.getSecond()
                    .accept(this, null));
        }