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

        public void setLightestClauseHeuristic(
                LightestClauseHeuristic lightestClauseHeuristic)
        {
            this.lightestClauseHeuristic = lightestClauseHeuristic;
        }