C# 클래스 AIMA.Test.Core.Unit.Logic.Fol.Inference.DemodulationTest

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

비공개 메소드들

메소드 설명
setUp ( ) : void
testBypassReflexivityAxiom ( ) : void
testSimpleAtomicExamples ( ) : void
testSimpleAtomicNonExample ( ) : void
testSimpleClauseExamples ( ) : void
testSimpleClauseNonExample ( ) : void