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

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

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

public FOLOTTERLikeTheoremProver ( ) : System
Результат System 
        public FOLOTTERLikeTheoremProver()
        {

        }

Same methods

FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System
FOLOTTERLikeTheoremProver
FOLOTTERLikeTheoremProver
ask
getClauseFilter
getClauseSimplifier
getLightestClauseHeuristic
getMaxQueryTime
infer
isUseParamodulation
lookForUnitRefutation
otter
process
setClauseFilter
setClauseSimplifier
setLightestClauseHeuristic
setMaxQueryTime
setUseParamodulation