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

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

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

public getProofs ( ) : List
Результат List 
            public List<Proof.Proof> getProofs()
            {
                return proofs;
            }
FOLOTTERLikeTheoremProver.OTTERAnswerHandler
OTTERAnswerHandler
ToString
getProofs
isAnswer
isCheckForUnitRefutation
isComplete
isLookingForAnswerLiteral
isPartialResultDueToTimeout
isPossiblyFalse
isTrue
isUnknownDueToTimeout