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

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

setLightestClauseHeuristic() public méthode

public setLightestClauseHeuristic ( LightestClauseHeuristic lightestClauseHeuristic ) : void
lightestClauseHeuristic LightestClauseHeuristic
Résultat void 
        public void setLightestClauseHeuristic(
                LightestClauseHeuristic lightestClauseHeuristic)
        {
            this.lightestClauseHeuristic = lightestClauseHeuristic;
        }
FOLOTTERLikeTheoremProver
FOLOTTERLikeTheoremProver
ask
getClauseFilter
getClauseSimplifier
getLightestClauseHeuristic
getMaxQueryTime
infer
isUseParamodulation
lookForUnitRefutation
otter
process
setClauseFilter
setClauseSimplifier
setLightestClauseHeuristic
setMaxQueryTime
setUseParamodulation