C# Class AIMA.Test.Core.Unit.Logic.FOL.CommonFOLInferenceProcedureTests

Show file Open project: PaulMineau/AIMA.Net

Protected Methods

Method	Description
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

Method Details

testDefiniteClauseKBKingsQueryCriminalXFalse() protected method

protected testDefiniteClauseKBKingsQueryCriminalXFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() protected method

protected testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testDefiniteClauseKBKingsQueryJohnEvilSucceeds() protected method

protected testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() protected method

protected testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testDefiniteClauseKBKingsQueryRichardEvilFalse() protected method

protected testDefiniteClauseKBKingsQueryRichardEvilFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() protected method

protected testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() protected method

protected testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds() protected method

protected testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds() protected method

protected testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
return	void

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds() protected method

protected testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
return	void

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds() protected method

protected testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
return	void

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds() protected method

protected testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
return	void

testEqualityAxiomsKBabcAEqualsCSucceeds() protected method

protected testEqualityAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void

testEqualityNoAxiomsKBabcAEqualsCSucceeds() protected method

protected testEqualityNoAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
return	void

testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() protected method

protected testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
return	void

testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() protected method

protected testFullFOLKBLovesAnimalQueryKillsJackTunaFalse ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
return	void

testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds() protected method

protected testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
return	void

testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() protected method

protected testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew ( InferenceProcedure infp ) : void
infp	InferenceProcedure
return	void