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

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

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

public isPartialResultDueToTimeout ( ) : bool
Результат bool 
            public bool isPartialResultDueToTimeout()
            {
                return timedOut && proofs.Count > 0;
            }
FOLOTTERLikeTheoremProver.OTTERAnswerHandler
OTTERAnswerHandler
ToString
getProofs
isAnswer
isCheckForUnitRefutation
isComplete
isLookingForAnswerLiteral
isPartialResultDueToTimeout
isPossiblyFalse
isTrue
isUnknownDueToTimeout