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

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

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

public setMaxQueryTime ( long maxQueryTime ) : void
maxQueryTime long
Результат void 
        public void setMaxQueryTime(long maxQueryTime)
        {
            this.maxQueryTime = maxQueryTime;
        }
FOLOTTERLikeTheoremProver
FOLOTTERLikeTheoremProver
ask
getClauseFilter
getClauseSimplifier
getLightestClauseHeuristic
getMaxQueryTime
infer
isUseParamodulation
lookForUnitRefutation
otter
process
setClauseFilter
setClauseSimplifier
setLightestClauseHeuristic
setMaxQueryTime
setUseParamodulation