AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.FOLOTTERLikeTheoremProver C# (CSharp) Méthode

FOLOTTERLikeTheoremProver Class Documentation Afficher le fichier Open project: PaulMineau/AIMA.Net

FOLOTTERLikeTheoremProver() public méthode

public FOLOTTERLikeTheoremProver ( ) : System
Résultat 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