AIMA.Core.Logic.FOL.Inference.FOLTFMResolution.TFMAnswerHandler.isUnknownDueToTimeout C# (CSharp) Метод

Документация по классу FOLTFMResolution.TFMAnswerHandler Показать файл Открыть проект

isUnknownDueToTimeout() публичный Метод

public isUnknownDueToTimeout ( ) : bool
Результат bool 
            public bool isUnknownDueToTimeout()
            {
                return timedOut && proofs.Count == 0;
            }
FOLTFMResolution.TFMAnswerHandler
TFMAnswerHandler
ToString
checkForPossibleAnswers
getProofs
isComplete
isPartialResultDueToTimeout
isPossiblyFalse
isTrue
isUnknownDueToTimeout