AIMA.Core.Logic.FOL.Inference.FOLModelElimination.AnswerHandler.isPartialResultDueToTimeout C# (CSharp) Метод

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

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

public isPartialResultDueToTimeout ( ) : bool
Результат bool 
            public bool isPartialResultDueToTimeout()
            {
                return timedOut && proofs.Count > 0;
            }
FOLModelElimination.AnswerHandler
AnswerHandler
ToString
getMaxDepthReached
getProofs
getSetOfSupport
isAnswer
isComplete
isPartialResultDueToTimeout
isPossiblyFalse
isTrue
isUnknownDueToTimeout
resetMaxDepthReached
updateMaxDepthReached