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

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

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

public isUseParamodulation ( ) : bool
Результат bool 
        public bool isUseParamodulation()
        {
            return useParamodulation;
        }
FOLOTTERLikeTheoremProver
FOLOTTERLikeTheoremProver
ask
getClauseFilter
getClauseSimplifier
getLightestClauseHeuristic
getMaxQueryTime
infer
isUseParamodulation
lookForUnitRefutation
otter
process
setClauseFilter
setClauseSimplifier
setLightestClauseHeuristic
setMaxQueryTime
setUseParamodulation