• Home
• AIMA
• Test
• Core
• Unit
• Logic
• Fol
• Inference
• DemodulationTest

C# Class AIMA.Test.Core.Unit.Logic.Fol.Inference.DemodulationTest

Show file Open project: PaulMineau/AIMA.Net

Private Methods

Method	Description
setUp ( ) : void
testBypassReflexivityAxiom ( ) : void
testSimpleAtomicExamples ( ) : void
testSimpleAtomicNonExample ( ) : void
testSimpleClauseExamples ( ) : void
testSimpleClauseNonExample ( ) : void