C# 클래스 AIMA.Core.Logic.Propositional.Visitors.CNFClauseGatherer

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

공개 메소드들

메소드 설명
CNFClauseGatherer ( ) : System
getClausesFrom ( Sentence sentence ) : List
visitBinarySentence ( BinarySentence bs, Object args ) : Object

비공개 메소드들

메소드 설명
processSubTerm ( Sentence s, List soFar ) : List

메소드 상세

CNFClauseGatherer() 공개 메소드

public CNFClauseGatherer ( ) : System
리턴 System

getClausesFrom() 공개 메소드

public getClausesFrom ( Sentence sentence ) : List
sentence AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
리턴 List

visitBinarySentence() 공개 메소드

public visitBinarySentence ( BinarySentence bs, Object args ) : Object
bs AIMA.Core.Logic.Propositional.Parsing.Ast.BinarySentence
args Object
리턴 Object