C# Класс AIMA.Test.Core.Unit.Logic.Fol.Inference.DemodulationTest

Показать файл Открыть проект

Приватные методы

Метод Описание
setUp ( ) : void
testBypassReflexivityAxiom ( ) : void
testSimpleAtomicExamples ( ) : void
testSimpleAtomicNonExample ( ) : void
testSimpleClauseExamples ( ) : void
testSimpleClauseNonExample ( ) : void