C# Class AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.ModelTest

Show file Open project: PaulMineau/AIMA.Net

Private Methods

Method Description
setUp ( ) : void
testComplexSentence ( ) : void
testEmptyModel ( ) : void
testExtendModel ( ) : void
testSentenceStatusWhenPFalseAndQFalse ( ) : void
testSentenceStatusWhenPFalseAndQTrue ( ) : void
testSentenceStatusWhenPTrueAndQFalse ( ) : void
testSentenceStatusWhenPTrueAndQTrue ( ) : void
testTrueFalseEvaluation ( ) : void