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

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

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

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