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

        private bool countisZero(HornClause hornClause)
        {

            return count[hornClause] == 0;
        }