• Home
• AIMA
• Test
• Core
• Unit
• Logic
• FOL
• CNFConverterTest

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

Show file Open project: PaulMineau/AIMA.Net

Private Methods

Method	Description
testExamplePg295AIMA2e ( ) : void
testExamplePg296AIMA2e ( ) : void
testExamplesPg299AIMA2e ( ) : void
testImplicationsAndExtendedAndsOrs ( ) : void
testInductionAxiomSchema ( ) : void
testNegationsAndNestedImplications ( ) : void
testNestedExistsAndOrs ( ) : void
testTermEquality ( ) : void