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

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

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

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