AIMA.Core.Logic.FOL.Inference.FOLTFMResolution.TFMAnswerHandler.isPartialResultDueToTimeout C# (CSharp) Method

FOLTFMResolution.TFMAnswerHandler Class Documentation Show file Open project: PaulMineau/AIMA.Net

isPartialResultDueToTimeout() public method

public isPartialResultDueToTimeout ( ) : bool
return bool 
            public bool isPartialResultDueToTimeout()
            {
                return timedOut && proofs.Count > 0;
            }
FOLTFMResolution.TFMAnswerHandler
TFMAnswerHandler
ToString
checkForPossibleAnswers
getProofs
isComplete
isPartialResultDueToTimeout
isPossiblyFalse
isTrue
isUnknownDueToTimeout