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

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

비공개 메소드들

메소드 설명
setUp ( ) : void
testBypassReflexivityAxiom ( ) : void
testMultipleTermEqualitiesInBothClausesExample ( ) : void
testNegativeTermEquality ( ) : void
testSimpleExample ( ) : void