AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.decrementCount C# (CSharp) Method

        private void decrementCount(HornClause hornClause)
        {
            count[hornClause]--;
        }