AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.setLightestClauseHeuristic C# (CSharp) Method

FOLOTTERLikeTheoremProver Class Documentation Mostra file Open project: PaulMineau/AIMA.Net

setLightestClauseHeuristic() public method

public setLightestClauseHeuristic ( LightestClauseHeuristic lightestClauseHeuristic ) : void
lightestClauseHeuristic LightestClauseHeuristic
return 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