C# 클래스 AIMA.Test.Core.Unit.Logic.FOL.CommonFOLInferenceProcedureTests

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

보호된 메소드들

메소드	설명
testDefiniteClauseKBKingsQueryCriminalXFalse ( InferenceProcedure infp ) : void
testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( InferenceProcedure infp ) : void
testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( InferenceProcedure infp ) : void
testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( InferenceProcedure infp ) : void
testDefiniteClauseKBKingsQueryRichardEvilFalse ( InferenceProcedure infp ) : void
testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds ( InferenceProcedure infp ) : void
testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds ( InferenceProcedure infp ) : void
testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds ( InferenceProcedure infp ) : void
testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
testEqualityAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp ) : void
testEqualityNoAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse ( InferenceProcedure infp, bool expectedToTimeOut ) : void
testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew ( InferenceProcedure infp ) : void

메소드 상세

testDefiniteClauseKBKingsQueryCriminalXFalse() 보호된 메소드

protected testDefiniteClauseKBKingsQueryCriminalXFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() 보호된 메소드

protected testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testDefiniteClauseKBKingsQueryJohnEvilSucceeds() 보호된 메소드

protected testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() 보호된 메소드

protected testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testDefiniteClauseKBKingsQueryRichardEvilFalse() 보호된 메소드

protected testDefiniteClauseKBKingsQueryRichardEvilFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() 보호된 메소드

protected testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() 보호된 메소드

protected testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds() 보호된 메소드

protected testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds() 보호된 메소드

protected testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
리턴	void

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds() 보호된 메소드

protected testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
리턴	void

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds() 보호된 메소드

protected testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
리턴	void

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds() 보호된 메소드

protected testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
리턴	void

testEqualityAxiomsKBabcAEqualsCSucceeds() 보호된 메소드

protected testEqualityAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void

testEqualityNoAxiomsKBabcAEqualsCSucceeds() 보호된 메소드

protected testEqualityNoAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
리턴	void

testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() 보호된 메소드

protected testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
리턴	void

testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() 보호된 메소드

protected testFullFOLKBLovesAnimalQueryKillsJackTunaFalse ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
리턴	void

testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds() 보호된 메소드

protected testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
리턴	void

testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() 보호된 메소드

protected testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew ( InferenceProcedure infp ) : void
infp	InferenceProcedure
리턴	void