C# Класс AIMA.Core.Logic.FOL.CNFConverter

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
CNFConverter ( FOLParser parser ) : System
convertToCNF ( Sentence aSentence ) : CNF

Описание методов

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

public CNFConverter ( FOLParser parser ) : System
parser AIMA.Core.Logic.FOL.Parsing.FOLParser
Результат System

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

public convertToCNF ( Sentence aSentence ) : CNF
aSentence Sentence
Результат AIMA.Core.Logic.FOL.KB.Data.CNF