C# 클래스 AIMA.Core.Logic.FOL.KB.Data.CNF

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드	설명
CNF ( List conjunctionOfClauses ) : System
ToString ( ) : String
getConjunctionOfClauses ( ) : List
getNumberOfClauses ( ) : int

메소드 상세

CNF() 공개 메소드

public CNF ( List conjunctionOfClauses ) : System
conjunctionOfClauses	List
리턴	System

ToString() 공개 메소드

public ToString ( ) : String
리턴	String

getConjunctionOfClauses() 공개 메소드

public getConjunctionOfClauses ( ) : List
리턴	List

getNumberOfClauses() 공개 메소드

public getNumberOfClauses ( ) : int
리턴	int