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

상속: AIMA.Core.Logic.Propositional.Parsing.AbstractPLVisitor

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

공개 메소드들

메소드	설명
transform ( Sentence s ) : Sentence
visitBinarySentence ( BinarySentence bs, Object arg ) : Object
visitNotSentence ( UnarySentence us, Object arg ) : Object

비공개 메소드들

메소드	설명
distributeOrOverAnd ( BinarySentence bs ) : Sentence
step ( Sentence s ) : Sentence
transformBiConditionalSentence ( BinarySentence bs ) : Sentence
transformImpliedSentence ( BinarySentence bs ) : Sentence
transformNotSentence ( UnarySentence us ) : Sentence

메소드 상세

transform() 공개 메소드

public transform ( Sentence s ) : Sentence
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
리턴	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence

visitBinarySentence() 공개 메소드

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

visitNotSentence() 공개 메소드

public visitNotSentence ( UnarySentence us, Object arg ) : Object
us	AIMA.Core.Logic.Propositional.Parsing.Ast.UnarySentence
arg	Object
리턴	Object