AIMA.Core.Logic.FOL.CNFConstructor.construct C# (CSharp) Метод

construct() публичный Метод

public construct ( Sentence orDistributedOverAnd ) : CNF
orDistributedOverAnd Sentence
Результат AIMA.Core.Logic.FOL.KB.Data.CNF
        public CNF construct(Sentence orDistributedOverAnd)
        {
            ArgData ad = new ArgData();

            orDistributedOverAnd.accept(this, ad);

            return new CNF(ad.clauses);
        }