C# 클래스 AIMA.Core.Logic.FOL.CNFConverter

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 메소드들

메소드 설명
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