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

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

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

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